Open AccessConversão de Termos, Homotopia, e Estrutura de Grupóide
Author(s) -
Arthur Ramos,
Ruy J. G. B. de Queiroz,
Anjolina Grisi de Oliveira
Publication year - 2021
Language(s) - Portuguese
Resource type - Conference proceedings
DOI - 10.5753/wbl.2021.15776
Subject(s) - computer science
A relação de conversão entre termos dada por Church, que determina a igualdade entre termos, diz que dois λ-termos são o mesmo se forem conversíveis um ao outro. Em outras palavras, um caminho entre dois termos, o que sugere a possibilidade de uma semântica com base em homotopia.