@misc{indiciae6657cbcd9e47,
  title = {Locally Cartesian Closed Quasicategories from Type Theory},
  author = {Chris Kapulkin},
  year = {2017},
  doi = {10.1112/topo.12031},
  url = {https://arxiv.org/abs/1507.02648},
  note = {Source identifier: 1507.02648}
}