Person. Hans Bugge Grathwohl PhD advisorLars Birkedal PhDAarhus University Papers Guarded Cubical Type Theory birkedal-2018-guardedJAR · 2018 DOI