@misc{indiciae437accc4bd19,
  title = {The law of excluded middle in the simplicial model of type theory},
  author = {Chris Kapulkin and Peter LeFanu Lumsdaine},
  year = {2020},
  url = {https://arxiv.org/abs/2006.13694},
  note = {Source identifier: 2006.13694}
}