Ramos, Arthur, 		Queiroz, Ruy, E 		Oliveira, Anjolina.
" Computational Paths and the Fundamental Groupoid of a Type" <em>Anais do Encontro de Teoria da Computação (ETC)</em> [Online], (18 julho 2021)