@misc{indiciae84f170c0b014,
  title = {On the Use of Computational Paths in Path Spaces of Homotopy Type Theory},
  author = {Arthur F. Ramos and Ruy J. G. B. de Queiroz and Anjolina G. de Oliveira and Tiago Mendonça Lucena de Veras},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01709},
  note = {Source identifier: 1803.01709}
}