Ramos, Arthur, Ruy J. G. B. de Queiroz, and Anjolina G. de Oliveira.
"Computational Paths and the Fundamental Groupoid of a Type." <em>Anais do VI Encontro de Teoria da Computação,
Evento Online, 2021</em>. SBC, 2021,  
pp.22-25.