Hans Bugge Grathwohl

Identifiers

No identifiers captured yet.

Papers (5)

1. Guarded Cubical Type Theory cs.LO · 2016 · author #4
2. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types cs.LO · 2016 · author #3
3. Guarded Cubical Type Theory: Path Equality for Guarded Recursion cs.LO · 2016 · author #4
4. Guarded Dependent Type Theory with Coinductive Types cs.LO · 2016 · author #2
5. Programming and Reasoning with Guarded Recursion for Coinductive Types cs.PL · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ale\v{s} Bizjak 5 shared papers
• Ranald Clouston 5 shared papers
• Lars Birkedal 4 shared papers
• Andrea Vezzosi 2 shared papers
• Bas Spitters 2 shared papers
• Denmark) 1 shared papers
• Lars Birkedal (Aarhus University 1 shared papers
• Rasmus E. M{\o}gelberg 1 shared papers