A connection between lambda calculus and the algebra of near semi-rings is discussed. Among the results is the following completeness theorem. A first-order equation in the language of binary associative distributive algebras is true in all such algebras if and only if the interpretations of the first order terms as lambda terms beta-eta convert to one another. A similar result holds for equations containing free variables. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Statman, R. (2014). Near semi-rings and lambda calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8560 LNCS, pp. 410–424). Springer Verlag. https://doi.org/10.1007/978-3-319-08918-8_28
Mendeley helps you to discover research relevant for your work.