Follow
Hans Bugge Grathwohl
Hans Bugge Grathwohl
Department of Computer Science, Aarhus University
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
Guarded dependent type theory with coinductive types
A Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L Birkedal
International Conference on Foundations of Software Science and Computation …, 2016
832016
Guarded cubical type theory: Path equality for guarded recursion
L Birkedal, A Bizjak, R Clouston, HB Grathwohl, B Spitters, A Vezzosi
arXiv preprint arXiv:1606.05223, 2016
73*2016
The clocks are ticking: No more delays!
P Bahr, HB Grathwohl, RE Møgelberg
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
512017
Programming and reasoning with guarded recursion for coinductive types
R Clouston, A Bizjak, HB Grathwohl, L Birkedal
Foundations of Software Science and Computation Structures: 18th …, 2015
442015
The guarded lambda-calculus: Programming and reasoning with guarded recursion for coinductive types
R Clouston, A Bizjak, HB Grathwohl, L Birkedal
Logical Methods in Computer Science 12, 2017
312017
The clocks are ticking: No more delays!–Technical appendix
P Bahr, HB Grathwohl, RE Møgelberg
available from authors’ websites, 2017
22017
Programming with Classical Proofs
HB Grathwohl
University of Amsterdam, 2013
22013
Guarded Recursive Type Theory
HB Grathwohl
PhD thesis, Department of Computer Science, Aarhus University, Denmark, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–8