Nonmodularity results for lambda calculus

• Autorzy: Salibra A.
• Języki publikacji: EN

Abstrakty

EN

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. In this paper we prove that the lattice of lambda theories is not modular and that the variety generated by the term algebra of a semi-sensible lambda theory is not congruence modular. Another result of the paper is that the Mal'cev condition for congruence modularity is inconsistent with the lambda theory generated by equating all the unsolvable [lambda]-terms.

Słowa kluczowe

EN

lambda calculus; lambda abstraction algebras; combinatory algebras; lattice of lambda theories; modularity; commutator

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 45, nr 4
• Strony: 379--392
• Opis fizyczny: bibliogr. 33 poz.

Twórcy

autor

Salibra A.

• Universita Ca'Foscari di Venezia, Dipartimento di Informatica Via Torino 155, 30172 Venezia, Italy,