Guarded Cubical Type Theory
Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge, Spitters, Bas, Vezzosi, AndreaLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-018-9471-7
Date:
June, 2018
File:
PDF, 1.02 MB
english, 2018