TY  - RPRT
TI  - Internal Universes in Models of Homotopy Type Theory
AU  - Daniel R. Licata
AU  - Ian Orton
AU  - Andrew M. Pitts
AU  - Bas Spitters
PY  - 2018
DO  - 10.4230/lipics.fscd.2018.22
UR  - https://arxiv.org/abs/1801.07664
ID  - 1801.07664
ER  -