On the algebraic models of lambda calculus

Theoretical Computer Science

Volumn 249, Issue 1, 2000, Pages 197-240

  Salibra, Antonino ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Combinatory algebras; Infinitary lambda calculus; Lambda abstraction algebras; Lambda calculus; Universal algebra

Indexed keywords

EID: 0003980844     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00059-1     Document Type: Article

References (45)

1. M. Abadi, L. Cardelli, P.L. Curien, J.J. Lévy, Explicit substitutions, Proc. 17th Conf. POPL, 1990, San Francisco.
2. T. Adachi, A categorical characterization of lambda calculus models, Research Report No. C-49, Dept. of Information Sciences, Tokio Institute of Technology, 1983.
3. H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics, Revised Edition, Studies in Logic and the Foundations of Mathematics, Vol. 103, North-Holland Publishing Co., Amsterdam, 1985.
4. H.P. Barendregt, K. Koymans, Comparing some classes of lambda calculus models, in: J.R. Hindley, J.P. Seldin (Eds.), To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press, New York, 1980, pp. 287-302.
5. A. Berarducci, Infinite λ-calculus and non-sensible models, in: P. Agliano, A. Ursini (Eds.), Logic and Algebra, Marcel-Dekker, New York, 1996.
6. A. Berarducci, B. Intrigila, Church-Rosser λ-theories, infinite λ-terms and consistency problems, in: W. Hodges, M. Hyland, C. Steinhorn, J. Truss (Eds.), Logic: From Foundations to Applications (European logic colloquium), Claredon Press, Oxford, 1996, pp. 33-58.
7. N.G. de Bruijn, Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, Indag. Math. 34 (1972) 381-392.
8. S. Burris, H.P. Sankappanavar, A Course in Universal Algebra, Springer, Berlin, 1981.
9. A. Church, A set of postulates for the foundation of logic, Ann. Math. 2 (1933) 346-366.
10. A. Church, The Calculi of Lambda Conversion, Princeton University Press, Princeton, 1941.
11. P.L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, Pitman, London, 1986.
12. H.B. Curry, R. Feys, Combinatory Logic, Vol. I, North-Holland Publishing Co., Amsterdam, 1958.
13. Z.B. Diskin, Lambda term systems, Frame Inform. Systems, University of Latvia.
14. Z.B. Diskin, I. Beylin, Lambda substitution algebras, in: A.M. Borzyszkowski, S. Sokolowski (Eds.), Proc. 18th Internat. Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 711, Springer, Berlin, 1993, pp. 423-432.
15. N. Feldman, Axiomatization of polynomial substitution algebras, J. Symbolic Logic 47 (1982) 481-492.
16. N. Feldman, Representation of substitution algebras, Abstract J. Symbolic Logic 49 (1984) 677-678.
17. R. Goldblatt, The functional lambda abstraction algebras form a variety, in: D.S. Bridges, C.S. Calude, J. Gibbons, S. Reeves, I.H. Witten (Eds.), Proc. DMTCS'96 Springer Series in Discrete Mathematics and Theoretical Computer Science, Springer, Singapore, 1997, pp. 226-243.
18. R. Goldblatt, Enlargements of functional algebras for the lambda calculus, Theoret. Comput. Sci. 198 (1998) 177-200.
19. G. Grätzer, Universal Algebra, 2nd ed., Springer, New York, 1979.
20. P. Halmos, Homogeneous locally finite polyadic Boolean algebras of infinite degree, Fund. Math. 43 (1956) 255-325.
21. P. Halmos, Algebraic Logic, Chelsea Publishing Co., New York, 1962.
22. L. Henkin, J.D. Monk, A. Tarski, Cylindric algebras, Parts I and II, Northc-Holland Publishing Co., Amsterdam, 1971, 1985.
23. L. Henkin, J.D. Monk, A. Tarski, H. Andréka, I. Németi, in: Cylindric Set Algebras, Lecture Notes in Mathematics, Vol. 883, Springer, Berlin, 1981.
24. R. Hindley, G. Longo, Lambda-calculus models and extensionality, Z. Math. Logik Grund. Math. 26 (1980) 289-310.
25. J.R. Kenneway, J.W. Klop, M.R. Sleep, F.J. de Vries, Infinitary lambda calculus, Theoret. Comput. Sci. 175 (1997) 93-125.
26. J.L. Krivine, Lambda-Calcul, types et modeles, Masson, Paris, 1990.
27. L. LeBlanc, Transformation algebras, Canad. J. Math. 13 (1961) 602-613.
28. R.N. McKenzie, G.F. McNulty, W.F. Taylor, Algebras, Lattices, Varieties, Vol. I, Wadsworth Brooks Monterey, CA, 1987.
29. A.R. Meyer, What is a model of the lambda calculus?, Inform. and Control 52 (1982) 87-122.
30. I. Németi, Algebraizations of quantifier logics. An introductory overview, Studia Logica 50 (1991) 485-569.
31. A. Obtułowicz, A. Wiweger, Categorical, functorial, and algebraic aspects of the type-free lambda calculus, in: T. Traczyk (Ed.), Universal Algebra and Applications, Banach Center Publications, Vol. 9, PWD-Polish Scientific Pub., Warsaw, 1982.
32. D. Pigozzi, A. Salibra, An introduction to lambda abstraction algebras, IX Simposio Latinoamericano de Logica Matematica, Vol. 38, Notas de Logica Matematica, Universidad Nacional del Sur, Bahia Blanca, Argentina, 1993, pp. 93-112.
33. D. Pigozzi, A. Salibra, Dimension-complemented lambda abstraction algebras, Algebraic Methodology and Software Technology (AMAST'93) (Proc. 3rd Internat. Conf. on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993) Workshops in Computing, Springer, London, 1994, pp. 131-138.
34. D. Pigozzi, A. Salibra, A representation theorem for lambda abstraction algebras, in: A.M. Borzyszkowski, S. Sokolowski (Eds.), Proc. 18th Internat. Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 711, Springer, Berlin, 1993, pp. 629-639.
35. D. Pigozzi, A. Salibra, Lambda abstraction algebras: representation theorems, Theoret. Comput. Sci. 140 (1995) 5-52.
36. D. Pigozzi, A. Salibra, The abstract variable-binding calculus, Studia Logica 55 (1995) 129-179.
37. D. Pigozzi, A. Salibra, Lambda abstraction algebras: coordinatizing models of lambda calculus, Fund. Inform. 33 (1998) 149-200.
38. C. Pinter, Cylindric algebras and algebras of substitution, Trans. Amer. Math. Soc. 175 (1973) 167-179.
39. A. Salibra, A general theory of algebras with quantifiers, H. Andréka, J.D. Monk, I. Németi (Eds.), Algebraic Logic, (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai, Vol. 54, North-Holland Publishing Co., Amsterdam, 1991, pp. 573-620.
40. A. Salibra, R. Goldblatt, A finite equational axiomatization of the functional algebras for the lambda calculus, Inform, and Comput. 148 (1999) 71-130.
41. M. Schönfinkel Über die bausteine der Mathematischen Logik, (english translation in J. van Heijenoort ed.'s book "From Frege to Gödel, a source book in Mathematical Logic, 1879-1931", Harvard University Press, 1967), Math. Ann. 92 (1924) 305-316.
42. P. Selinger, Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms, Ph.D. Thesis, University of Pennsylvania, 1997.
43. P. Selinger, The lambda calculus is algebraic, Department of Mathematics, University of Pennsylvania, 1996.
44. D.S. Scott, Data types as lattices, SIAM J. Comput. 5 (1976) 522-587.
45. D.S. Scott, Lambda calculus: some models, some philosophy, in: J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symp. Studies in Logic, Vol. 101, North-Holland, Amsterdam, 1980.