Ramos, A., 		Queiroz, R., & 		Oliveira, A.
(2021).
Computational Paths and the Fundamental Groupoid of a Type.
In <em>Anais do VI Encontro de Teoria da Computação</em>, (pp. 22-25). Porto Alegre: SBC.
doi:10.5753/etc.2021.16371