Both (operational or denotational) semantics and type theories for λ-calculus induce in a natural way equivalence relations between terms. The aim of the present paper is to show that in some cases the semantic and functional equivalences coincide.
CITATION STYLE
Coppo, M., Dezani-Ciancaglini, M., & Sallé, P. (1979). Functional characterization of some semantic equalities inside λ-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 71 LNCS, pp. 133–146). Springer Verlag. https://doi.org/10.1007/3-540-09510-1_11
Mendeley helps you to discover research relevant for your work.