RAMOS, Arthur F.; QUEIROZ, Ruy J. G. B. de; OLIVEIRA, Anjolina G. de.
Conversão de Termos, Homotopia, e Estrutura de Grupóide. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 2. , 2021, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 33-40.
ISSN 2763-8731.
DOI: https://doi.org/10.5753/wbl.2021.15776.