@misc{indiciaee981a56563d7,
  title = {Internal Universes in Models of Homotopy Type Theory},
  author = {Daniel R. Licata and Ian Orton and Andrew M. Pitts and Bas Spitters},
  year = {2018},
  doi = {10.4230/lipics.fscd.2018.22},
  url = {https://arxiv.org/abs/1801.07664},
  note = {Source identifier: 1801.07664}
}