@misc{indiciae47d5e4ba05cd,
  title = {Homotopy limits in type theory},
  author = {Jeremy Avigad and Chris Kapulkin and Peter LeFanu Lumsdaine},
  year = {2015},
  doi = {10.1017/s0960129514000498},
  url = {https://arxiv.org/abs/1304.0680},
  note = {Source identifier: 1304.0680}
}