@misc{indiciae4e5a3165ecdd,
  title = {On the \$\textbackslash{}infty\$-topos semantics of homotopy type theory},
  author = {Emily Riehl},
  year = {2024},
  doi = {10.1112/blms.12997},
  url = {https://arxiv.org/abs/2212.06937},
  note = {Source identifier: 2212.06937}
}