Hans Bugge Grathwohl

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 8

Top Topics

Reasoning Systems

Special Features

Top Venues

Log. Methods Comput. Sci.

Publications

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory. J. Autom. Reason. 63 (2) (2019)
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
The clocks are ticking: No more delays! LICS (2017)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. CSL (2016)
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
Guarded Dependent Type Theory with Coinductive Types. CoRR (2016)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. CoRR (2016)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Log. Methods Comput. Sci. 12 (3) (2016)
Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi
Guarded Cubical Type Theory. CoRR (2016)
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
Guarded Dependent Type Theory with Coinductive Types. FoSSaCS (2016)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
Programming and Reasoning with Guarded Recursion for Coinductive Types. FoSSaCS (2015)
Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal
Programming and Reasoning with Guarded Recursion for Coinductive Types. CoRR (2015)