Open AccessConversão de Termos, Homotopia, e Estrutura de Grupóide
Author(s) -
Arthur Ramos,
Ruy J. G. B. de Queiroz,
Anjolina G. de Oliveira
Publication year - 2021
Language(s) - Portuguese
Resource type - Conference proceedings
DOI - 10.5753/wbl.2021.15776
Subject(s) - base (topology) , computer science , mathematics , mathematical analysis
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom