Hans Bugge Grathwohl

Identifiers

• name variant Hans Bugge Grathwohl 0.60 · backfill

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

• 1501.02925 #3 · backfill · confidence 0.70 Hans Bugge Grathwohl

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