RAMOS, Arthur F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, Anjolina G. de.
Computational Paths and the Fundamental Groupoid of a Type. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 6. , 2021, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 22-25.
ISSN 2595-6116.
DOI: https://doi.org/10.5753/etc.2021.16371.