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