@misc{indiciaefa5a8f8dcef1,
  title = {An interpretation of dependent type theory in a model category of locally cartesian closed categories},
  author = {Martin E. Bidlingmaier},
  year = {2021},
  url = {https://arxiv.org/abs/2007.02900},
  note = {Source identifier: 2007.02900}
}