Volgen
Hans Bugge Grathwohl
Hans Bugge Grathwohl
Department of Computer Science, Aarhus University
Geverifieerd e-mailadres voor cs.au.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8