TY  - RPRT
TI  - Guarded Cubical Type Theory: Path Equality for Guarded Recursion
AU  - Lars Birkedal
AU  - Aleš Bizjak
AU  - Ranald Clouston
AU  - Hans Bugge Grathwohl
AU  - Bas Spitters
AU  - Andrea Vezzosi
PY  - 2016
UR  - https://arxiv.org/abs/1606.05223
ID  - 1606.05223
ER  -