Hans Bugge Grathwohl

Hans Bugge Grathwohl

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 5476545
Aarhus Universitet
person_outline Hans Bugge Grathwohl's MOST POPULAR ARTICLES
1-) Guarded dependent type theory with coinductive typesA Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L BirkedalInternational Conference on Foundations of Software Science and Computation …, 2016852016
2-) The guarded lambda-calculus: Programming and reasoning with guarded recursion for coinductive typesR Clouston, A Bizjak, HB Grathwohl, L BirkedalLogical Methods in Computer Science 12, 201777*2017
3-) Guarded cubical type theory: Path equality for guarded recursionL Birkedal, A Bizjak, R Clouston, HB Grathwohl, B Spitters, A VezzosiarXiv preprint arXiv:1606.05223, 201674*2016
4-) The clocks are ticking: No more delays!P Bahr, HB Grathwohl, RE Møgelberg2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017572017
5-) Programming with Classical ProofsHB GrathwohlUniversity of Amsterdam, 201322013