@misc{indiciaec1da9a2f9cf2,
  title = {The Simplicial Model of Univalent Foundations (after Voevodsky)},
  author = {Chris Kapulkin and Peter LeFanu Lumsdaine},
  year = {2018},
  doi = {10.4171/jems/1050},
  url = {https://arxiv.org/abs/1211.2851},
  note = {Source identifier: 1211.2851}
}