@misc{indiciaec94ec0495b62,
  title = {On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory},
  author = {Floris van Doorn},
  year = {2018},
  url = {https://arxiv.org/abs/1808.10690},
  note = {Source identifier: 1808.10690}
}