A syntactical proof of the operational equivalence of two $λ$-terms - Mathematics > LogicReport as inadecuate




A syntactical proof of the operational equivalence of two $λ$-terms - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

Abstract: In this paper we present a purely syntactical proof of the operationalequivalence of $I=\lambda xx$ and the $\lambda$-term $J$ that is the$\eta$-infinite expansion of $I$.



Author: René David LAMA, Karim Nour LAMA

Source: https://arxiv.org/







Related documents