Hans Bugge Grathwohl

According to our database, Hans Bugge Grathwohl authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Guarded Cubical Type Theory.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

J. Autom. Reason., 2019

2017

The clocks are ticking: No more delays!

Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Log. Methods Comput. Sci., 2016

Guarded Dependent Type Theory with Coinductive Types.

Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Guarded Cubical Type Theory: Path Equality for Guarded Recursion.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2015