Arthur Ramos, Ruy Queiroz, and Anjolina Oliveira. 2021.
 Computational Paths and the Fundamental Groupoid of a Type. In <em>Anais do VI Encontro de Teoria da Computação</em>, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 22-25. DOI: <a href="https://doi.org/10.5753/etc.2021.16371">https://doi.org/10.5753/etc.2021.16371</a>.