@misc{indiciae41d00309a1f0,
  title = {Separating Path and Identity Types in Presheaf Models of Univalent Type Theory},
  author = {Andrew Swan},
  year = {2018},
  url = {https://arxiv.org/abs/1808.00920},
  note = {Source identifier: 1808.00920}
}