@misc{indiciae44ae48249923,
  title = {Calculational HoTT},
  author = {Ernesto Acosta and Bernarda Aldana and Jaime Bohorquez},
  year = {2019},
  url = {https://arxiv.org/abs/1901.08883},
  note = {Source identifier: 1901.08883}
}