Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

168 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Guarded Cubical Type Theory: Path Equality for Guarded Recursion'. Together they form a unique fingerprint.

Computer Science