TY  - RPRT
TI  - Internal $\infty$-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT
AU  - Nicolai Kraus
PY  - 2021
UR  - https://arxiv.org/abs/2009.01883
ID  - 2009.01883
ER  -