TY  - RPRT
TI  - The univalence axiom in cubical sets
AU  - Marc Bezem
AU  - Thierry Coquand
AU  - Simon Huber
PY  - 2017
UR  - https://arxiv.org/abs/1710.10941
ID  - 1710.10941
ER  -