Nonmodularity results for lambda calculus

Fundamenta Informaticae

Volumn 45, Issue 4, 2001, Pages 379-392

  Salibra, Antonino ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Combinatory algebras; Commutator; Lambda abstraction algebras; Lambda calculus; Lattice of lambda theories; Modularity

Indexed keywords

EID: 0035269403     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (33)

1. H.P. Barendregt, The lambda calculus: Its syntax and semantics. Studies in Logic and the Foundations of Mathematics vol. 103, North-Holland Publishing Co., Amsterdam (1984)
2. S. Burris and H.P. Sankappanavar, A course in universal algebra. Springer-Verlag, Berlin (1981)
3. A. Church, A set of postulates for the foundation of logic. Annals of Math. 2 (1933) 346-366
4. A. Church, The calculi of lambda conversion. Princeton University Press, Princeton (1941)
5. H.B. Curry and R. Feys, Combinatory Logic, Vol. I. North-Holland Publishing Co., Amsterdam (1958)
6. R. Freese and R. McKenzie, Commutator theory for congruence modular varieties. Cambridge University Press, Cambridge (1987)
7. R. Goldblatt, The functional lambda abstraction algebras form a variety. In: D.S. Bridges, C.S. Calude, J. Gibbons, S. Reeves and I.H. Witten (Eds.), Proceedings of DMTCS'96, Springer Series in Discrete Mathematics and Theoretical Computer Science, Springer-Verlag, Singapore (1997) 226-243
8. R. Goldblatt, Enlargements of functional algebras for the lambda calculus. Theoretical Computer Science 198 (1998) 177-200
9. G. Grätzer, Universal Algebra. Springer-Verlag, New York (1979)
10. H.P. Gumm, Geometrical methods in congruence modular algebras. Memoirs of the American Mathematical Society, vol. 45, No. 286 (1983)
11. J. Hagemann and C. Herrmann, A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity. Arch. Math. 32 (1979) 234-245
12. P. Halmos, Algebraic Logic. Chelsea Publishing Co., New York (1962)
13. L. Henkin, J.D. Monk and A. Tarski, Cylindric algebras, Parts I and II. North-Holland Publishing Co, Amsterdam (1971, 1985)
14. L. Henkin, J.D. Monk, A. Tarski, H. Andréka and I. Németi, Cylindric set algebras. Lecture Notes in Mathematics, No. 883, Springer-Verlag, Berlin (1981)
15. K. Kearnes and A. Szendrei, The relationship between two commutators. International Journal of Algebra and Computation 8 (1998) 497-531
16. J.L. Krivine, Lambda-Calcul, types et modeles. Masson, Paris (1990)
17. P. Lipparini, Commutator theory without join-distributivity, Transactions of the American Mathematical Society 346 (1994) 177-202
18. P. Lipparini, A characterization of varieties with a difference term, II: neutral = meet semidistributivity. Canad. Math. Bull. 41 (1998) 318-327
19. R.N. McKenzie, G.F. McNulty and W.F. Taylor, Algebras, Lattices, Varieties, Volume I. Wadsworth Brooks, Monterey, California (1987)
20. I. Németi, Algebraizations of quantifier logics. An introductory overview. Studia Logica 50 (1991) 485-569
21. D. Pigozzi and A. Salibra, An introduction to lambda abstraction algebras. IX Simposio Latinoamericano de Logica Matematica, Notas de Logica Matematica 38 (1993) 93-112
22. D. Pigozzi and A. Salibra, Polyadic algebras over nonclassical logics. Algebraic Methods in Logic and Computer Science, Institute of Mathematics, Polish Academy of Sciences, Warszawa, Banach Center Publications 28 (1993) 51-66
23. D. Pigozzi and A. Salibra, Dimension-complemented lambda abstraction algebras. In: M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds.), Algebraic Methodology and Software Technology (AMAST'93) Workshops in Computing, Springer-Verlag, London (1994) 131-138
24. D. Pigozzi and A. Salibra, A representation theorem for lambda abstraction algebras. In: A.M. Borzyszkowski and S. Sokolowski (Eds.), Proc. 18th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 711, Springer-Verlag, Berlin (1993) 629-639
25. D. Pigozzi and A. Salibra, Lambda abstraction algebras: representation theorems. Theoretical Computer Science 140 (1995) 5-52
26. D. Pigozzi and A. Salibra, The abstract variable-binding calculus. Studia Logica 55 (1995) 129-179
27. D. Pigozzi and A. Salibra, Lambda abstraction algebras: coordinatizing models of lambda calculus. Fundamenta Informaticae 33 (1998) 149-200
28. G. Plotkin, On a question of H. Friedman, Information and Computation 126 (1996) 74-77
29. A. Salibra, A general theory of algebras with quantifiers. In: H. Andréka, J.D. Monk, I. Németi (Eds.), Algebraic Logic (Proc. Conf. Budapest 1988), North-Holland Publishing Co., Amsterdam, Colloq. Math. Soc. J. Bolyai 54 (1991) 573-620
30. A. Salibra, On the algebraic models of lambda calculus. Theoretical Computer Science 249 (2000) 197-240
31. A. Salibra and R. Goldblatt, A finite equational axiomatization of the functional algebras for the lambda calculus. Information and Computation 148 (1999) 71-130
32. P. Selinger, Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms. PhD thesis, University of Pennsylvania (1997)
33. J. D. H. Smith, Mal'cev varieties. Lecture Notes in Mathematics 554, Springer-Verlag, Berlin (1976)