TY  - RPRT
TI  - Cubical Type Theory: a constructive interpretation of the univalence axiom
AU  - Cyril Cohen
AU  - Thierry Coquand
AU  - Simon Huber
AU  - Anders Mörtberg
PY  - 2016
UR  - https://arxiv.org/abs/1611.02108
ID  - 1611.02108
ER  -