Patrik Jansson

Identifiers

• name variant Patrik Jansson 0.60 · backfill

Papers (2)

1. Types, equations, dimensions and the Pi theorem cs.PL · 2023 · author #2
2. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda cs.LO · 2016 · author #2

Mentions

• 2308.09481 #2 · arxiv_oai · confidence 0.70 Patrik Jansson

Frequent Coauthors

• Jean-Philippe Bernardy 1 shared papers
• Nicola Botta 1 shared papers