TY  - RPRT
TI  - Canonicity for Cubical Type Theory
AU  - Simon Huber
PY  - 2017
UR  - https://arxiv.org/abs/1607.04156
ID  - 1607.04156
ER  -