Hans Bugge Grathwohl

20152016201720182019202020212022202320248 29 25 38 35 37 29 45 27 28

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Patrick BahrIT University of CopenhagenVerified email at itu.dk

Hans Bugge Grathwohl

Department of Computer Science, Aarhus University

Verified email at cs.au.dk - Homepage


Title Sort by citations Sort by year Sort by 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	86	2016
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	79*	2017
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	76*	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	58	2017
Programming with Classical Proofs HB Grathwohl University of Amsterdam, 2013	2	2013
Guarded Recursive Type Theory HB Grathwohl PhD thesis, Department of Computer Science, Aarhus University, Denmark, 2016	1	2016

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year