@misc{indiciae0d79e95f9398,
  title = {The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories},
  author = {Pierre Clairambault and Peter Dybjer},
  year = {2011},
  doi = {10.1017/s0960129513000881},
  url = {https://arxiv.org/abs/1112.3456},
  note = {Source identifier: 1112.3456}
}