The lattice of lambda theories

Journal of Logic and Computation

Volumn 14, Issue 3, 2004, Pages 373-394

  Lusin, Stefania ^a   Salibra, Antonino ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Commutator; Lambda abstraction algebras; Lambda calculus; Lattice identities; Lattice of lambda theories

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; CONTINUUM MECHANICS; FINITE ELEMENT METHOD; THEOREM PROVING;

COMMUTATOR; LAMBDA ABSTRACTION ALGEBRAS; LAMBDA CALCULUS; LATTICE IDENTITIES; LATTICE OF LAMBDA THEORIES;

FORMAL LOGIC;

EID: 3042791893     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.3.373     Document Type: Article

References (30)

1. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51, 1-77, 1991.
2. F. Alessi, M. Dezani-Ciancaglini, and F. Honsell. Filter Models and Easy Terms, volume 2202 of Lecture Notes in Mathematics, pp. 17-37. Springer-Verlag, Berlin, 2001.
3. F. Barbanera, M. Dezani, and U. de' Liguoro. Intersection and union types: syntax and semantics. Information and Computation, 119, 202-230, 1995.
4. H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, Revised edition, Studies in Logic and the Foundations of Mathematics 103, North-Holland, Amsterdam 1985.
5. H. P. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48, 931-940, 1984.
6. C. Berline. From computation to foundations via functions and application: The λ-calculus and its webbed models. Theoretical Computer Science, 249, 81-161, 2000.
7. M. Coppo, M. Dezani-Ciancaglini, F. Honsell, and G. Longo. Extended type structures and filter lambda models, Logic colloquium '82. Florence, 1982, pp. 241-262. North-Holland, Amsterdam, 1984.
8. H. B. Curry and R. Feys. Combinatory Logic, Vol. I, North-Holland, Amsterdam, 1958.
9. R. Freese and R. McKenzie. Commutator Theory for Congruence Modular Varieties. Cambridge University Press, Cambridge, 1987.
10. H. P. Gumm. Geometrical methods in congruence modular algebras. Memoirs of the American Mathematical Society, No. 286, 45, 1983.
11. J. Hagemann and C. Herrmann. A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity. Archiv der Mathematik, 32, 234-245, 1979.
12. R. Hindley and G. Longo. Lambda-calculus models and extensionality. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 26, 289-310, 1980.
13. K. Kearnes and A. Szendrei. The relationship between two commutators. International Journal of Algebra and Computation, 8, 497-531, 1998.
14. W. A. Lampe. Further properties of lattices of equational theories. Algebra Universalis, 28, 459-486, 1991.
15. P. Lipparini. Commutator theory without join-distributivity. Transactions of the American Mathematical Society, 346 177-202, 1994.
16. P. Lipparini. A characterization of varieties with a difference term, II: neutral = meet semidistributivity. Canadian Mathematics Bulletin, 41, 318-327, 1998.
17. R. N. McKenzie, G. F. McNulty and W. F. Taylor. Algebras, Lattices, Varieties, Volume I, Wadsworth Brooks, Monterey, CA, 1987.
18. A. R. Meyer What is a model of the lambda calculus? Information and Control, 52, 87-122, 1982.
19. D. Pigozzi and A. Salibra. An introduction to lambda abstraction algebras, IX Simposio Latinoamericano de Logica Matematica 38, 1993, Notas de Logica Matematica Universidad Nacional del Sur, Bahia Blanca, Argentina, pp. 93-112.
20. D. Pigozzi and A. Salibra. Lambda abstraction algebras: representation theorems. Theoretical Computer Science, 140, 5-52. 1995.
21. D. Pigozzi and A. Salibra. Lambda abstraction algebras: coordinatizing models of lambda calculus. Fundamenta Informaticae, 33, 149-200, 1998.
22. A. F. Pixley. Local Malcev condition. Canadian Mathematics Bulletin, 15, 559-568, 1972.
23. A. Salibra. Nonmodularity results for lambda calculus. Fundamenta Informaticae, 45, 379-392, 2001.
24. A. Salibra. On the algebraic models of lambda calculus. Theoretical Computer Science, 249, 197-240, 2000.
25. A. Salibra and R. Goldblatt. A finite equational axiomatization of the functional algebras for the lambda calculus. Information and Computation, 148, 71-130, 1999.
26. M. Schönfmkel. Uber die bausteine der Mathematischen Logik. Mathematischen Annalen, 92, 305-316, 1924. English translation in J. van Heijenoort From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, 1967.
27. M. Schönfmkel. Uber die bausteine der Mathematischen Logik. Mathematischen Annalen, 92, 305-316, 1924. English translation in J. van Heijenoort From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, 1967.
28. J. D. H. Smith. Mal'cev varieties, volume 554 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1976.
29. S. Vickers Topology via logic. Cambridge University Press, Cambridge, 1989.
30. A. Visser. Numerations, λ-calculus and arithmetic. In To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, J. R. Hindley and J. P. Seldin, eds, pp. 259-284. Academic Press, New York, 1980.