TY  - RPRT
TI  - On Small Types in Univalent Foundations
AU  - Tom de Jong
AU  - Martín Hötzel Escardó
PY  - 2023
DO  - 10.46298/lmcs-19(2:8)2023
UR  - https://arxiv.org/abs/2111.00482
ID  - 2111.00482
ER  -