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