A. Ramos, R. Queiroz, and A. Oliveira.
"Computational Paths and the Fundamental Groupoid of a Type", in <em>Anais do VI Encontro de Teoria da Computação</em>, Evento Online, 2021, pp. 22-25, doi: <a href="https://doi.org/10.5753/etc.2021.16371">https://doi.org/10.5753/etc.2021.16371</a>.