TY  - RPRT
TI  - Towards a constructive simplicial model of Univalent Foundations
AU  - Nicola Gambino
AU  - Simon Henry
PY  - 2021
DO  - 10.1112/jlms.12532
UR  - https://arxiv.org/abs/1905.06281
ID  - 1905.06281
ER  -