Följ
Hans Bugge Grathwohl
Hans Bugge Grathwohl
Department of Computer Science, Aarhus University
Verifierad e-postadress på cs.au.dk - Startsida
Titel
Citeras av
Citeras av
År
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
842016
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
74*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
322017
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8