TY  - RPRT
TI  - Formalizing two-level type theory with cofibrant exo-nat
AU  - Elif Uskuplu
PY  - 2023
DO  - 10.1017/s0960129525100297
UR  - https://arxiv.org/abs/2309.09395
ID  - 2309.09395
ER  -