Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus

Fundamenta Informaticae

Volumn 33, Issue 2, 1998, Pages 149-200

  Pigozzi, Don ^a   Salibra, Antonino ^b  

^a IOWA STATE UNIVERSITY   (United States)

^b CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Abstract substitution; Combinatory algebras; Cylindric algebras; Lambda algebras; Lambda calculus; Lambda models; Polyadic algebras; Representation theorems

Indexed keywords

EID: 0004121529     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1998-33203     Document Type: Article

References (46)

1. Abadi, M., Cardelli, L., Curien, P. L. and Lévy, J. J.: "Explicit substitutions". Proc. 17th Conference POPL, San Francisco, 1990.
2. Adachi, T.: "A categorical characterization of lambda calculus models", Research Report No. C-49, Dept. of Information Sciences, Tokio Institute of Technology, 1983.
3. Barendregt, H. P.: The lambda calculus. Its syntax and semantics, Revised edition, Studies in Logic and the Foundations of Mathematics, Vol. 103, Amsterdam: North-Holland Publishing Co., 1985.
4. Barendregt, H. P. and Koymans, K.: "Comparing some classes of lambda calculus models". J. R. Hindley and J. P. Seldin (ed.), H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, Academic Press, New York, 1980, 287-302.
5. Church, A.: "A set of postulates for the foundation of logic", Annals of Math., 2, 1933, 346-366.
6. Church, A.: The calculi of lambda conversion, Princeton: Princeton University Press, 1941.
7. Curien, P. L.: Categorical combinators, sequential algorithms and functional programming, Pitman, 1986.
8. Curry, H. B. and Feys, R.: Combinatory Logic, Vol. I, Amsterdam: North-Holland Publishing Co., 1958.
9. Diskin, Z. B.: "Lambda term systems" Frame Inform. Systems, University of Latvia, Preprint.
10. Diskin, Z. B. and Beylin, I.: "Lambda substitution algebras". A. M. Borzyszkowski and S. Sokolowski (eds.), Proc. 18th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science No. 711, Berlin: Springer-Verlag, 1993, 423-432.
11. Feldman, N.: "Axiomatization of polynomial substitution algebras", J. Symbolic Logic, 47, 1982, 481-492.
12. Feldman, N.: "Representation of substitution algebras" (abstract), J. Symbolic Logic, 49, 1984, 677-678.
13. Goldblatt, R.: "The functional lambda abstraction algebras form a variety". D. S. Bridges, C. S. Calude, J. Gibbons, S. Reeves and I. Witten (eds.), DMTCS'96, First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, Universities of Auckland and Waikato, Springer-Verlag, Singapore, 1996.
14. Goldblatt, R.: "Enlargements of functional algebras for the lambda calculus", Research Report 96-187, Mathematics Department, Victoria University of Wellington, 1996, Theoret. Comp. Sci., To appear.
15. Grätzer, G.: Universal Algebra, Second Edition, New York: Springer-Verlag, 1979.
16. Halmos, P.: "Homogeneous locally finite polyadic Boolean algebras of infinite degree", Fund. Math., 43, 1956, 255-325.
17. Halmos, P.: Algebraic Logic, New York: Chelsea Publishing Co., 1962.
18. Henkin, L., Monk, J. D. and Tarski, A.: Cylindric algebras, Parts I and II, Amsterdam: North-Holland Publishing Co, 1971, 1985.
19. Henkin, L., Monk, J. D., Tarski, A., Andréka, H. and Németi, I.: Cylindric set algebras, Lecture Notes in Mathematics, No. 883, Berlin: Springer-Verlag, 1981.
20. Hindley, R. and Longo, G.: "Lambda-calculus models and extensionality", Zeit. f. Math. Logik u. Grund. der Math., 26, 1980, 289-310.
21. Krivine, J. L.: Lambda-Calcul, types et modeles, Paris: Masson, 1990.
22. LeBlanc, L.: "Transformation algebras", Canad. J. Math., 13, 1961, 602-613.
23. Meyer, A. R.: "What is a model of the lambda calculus?", Inform. Control, 52, 1982, 87-122.
24. Németi, I.: "Algebraizations of quantifier logics. An introductory overview", Studia Logica, 50, 1991, 485-569. (Extended version available as Math. Inst. Budapest, Preprint 1996, 86pp.)
25. Németi, I.: "Strong representability of fork algebras, a set theoretic foundation", J. IGPL. To appear. (Math. Inst. Hungar. Acad. Sci., 1996. Preprint.)
26. Németi, I.: "Ontology can turn negative results to positive", Bull. Sect. Logic, 25, 1996, 29-40.
27. Németi, I. and Simon, A.: "Weakly higher order cylindric algebras and finite schema axiomatization of the representables", Math. Inst. Hungar. Acad. Sci., 1995. Preprint.
28. Obtulowicz, A. and Wiweger, A.: "Categorical, functorial, and algebraic aspects of the type-free lambda calculus". T. Traczyk (ed.), Universal algebra and applications, Banach Center Publications, vol. 9, PWD-Polish Scientific Pub., Warsaw, 1982.
29. Pigozzi, D. and Salibra, A.: "An introduction to lambda abstraction algebras". M. Abad (ed.), Proc. IX Latin American Symposium on Mathematica Logic (Part 1), UNMABB-CONICET, Bahia Blanca, Argentina, 1993, 93-113. (Notas de Logica Matematica, No. 38, Universidad Nacional del Sur, Bahia Blanca, Argentina.)
30. Pigozzi, D. and Salibra, A.: "An introduction to lambda abstraction algebras". M. Abad (ed.), Proc. IX Latin American Symposium on Mathematica Logic (Part 1), UNMABB- CONICET, Bahia Blanca, Argentina, 1993, 93-113. (Notas de Logica Matematica, No. 38, Universidad Nacional del Sur, Bahia Blanca, Argentina.)
31. Pigozzi, D. and Salibra, A.: "Dimension-complemented lambda abstraction algebras". M. Nivat, C. Rattray, T. Rus and G. Scollo (eds.), Algebraic Methodology and Software Technology (AMAST'93) (Proc. 3rd International Conference on Algebraic Methodology and Software Technology), University of Twente, The Netherlands, 21-25 June, 1993, 131-138. (Workshops in Computing, Springer-Verlag, London, 1993.)
32. Pigozzi, D. and Salibra, A.: "Dimension-complemented lambda abstraction algebras". M. Nivat, C. Rattray, T. Rus and G. Scollo (eds.), Algebraic Methodology and Software Technology (AMAST'93) (Proc. 3rd International Conference on Algebraic Methodology and Software Technology), University of Twente, The Netherlands, 21-25 June, 1993, 131- 138. (Workshops in Computing, Springer-Verlag, London, 1993.)
33. Pigozzi, D. and Salibra, A.: "A representation theorem for lambda abstraction algebras". A. M. Borzyszkowski and S. Sokolowski (eds.), Proc. 18th International Symposium on Mathematical Foundations of Computer Science, 1993, 629-639. (Lecture Notes in Computer Science, No. 711, Springer-Verlag, Berlin.)
34. Pigozzi, D. and Salibra, A.: "A representation theorem for lambda abstraction algebras". A. M. Borzyszkowski and S. Sokolowski (eds.), Proc. 18th International Symposium on Mathematical Foundations of Computer Science, 1993, 629-639. (Lecture Notes in Computer Science, No. 711, Springer-Verlag, Berlin.)
35. Pigozzi, D. and Salibra, A.: "Lambda abstraction algebras: representation theorems", Theoret. Comp. Sci., 140, 1995, 5-52.
36. Pigozzi, D. and Salibra, A.: "The abstract variable-binding calculus", Studia Logica, 55, 1995, 129-179.
37. Pinter, C.: "Cylindric algebras and algebras of substitution", Trans. Amer. Math. Soc., 175, 1973, 167-179.
38. Sain, I.: "On the problem of finitizing first order logic and its algebraic counterpart. (A survey of results and methods.)". L. Csirmaz, D. M. Gabbay and M. de Rijke (eds.), Logic Colloqium 1992, CSLI Publishing, Stanford, 1995.
39. Sain, I.: "On the search for a finitizable algebraization of first order logic (Shortened version A)", Math. Inst. Hungar. Acad. Sci., 1988. (Preprint.)
40. Sain, I. and Gyuris, V.: "Finite schematazible algebraic logic", Math. Inst. Hungar. Acad. Sci., 1995. (Preprint.) (To appear in J. IGPL.)
41. Salibra, A.: "A general theory of algebras with quantifiers". H. Andréka, J. D. Monk and I. Németi (eds.), Algebraic Logic (Proc. Conf. Budapest 1988), Colloq. Math. Soc. J. Bolyai, Vol. 54, North-Holland Publishing Co., Amsterdam, 1991, 573-620.
42. Salibra, A.: "On the algebraic models of lambda calculus", Research Report 97-210, Mathematics Department, Victoria University of Wellington, 1997.
43. Salibra, A. and Goldblatt, R.: "A finite equational axiomatization of the functional algebras for the lambda calculus", Research Report CS96-2, Università Ca' Foscari di Venezia, 1996.
44. Selinger, P.: "The lambda calculus is algebraic", Version 1.2-8 April 1996, Research Report, University of Pennsylvania, 1996.
45. Scott, D. S.: "Data types as lattices", SIAM J. Computing, 5, 1976, 522-587.
46. Scott, D. S.: "Lambda calculus: some models, some philosophy". J. Barwise, H. J. Keisler and K. Kunen (eds.), The Kleene Symposium, Studies in Logic, No. 101, North-Holland Publishing Co., Amsterdam, 1980.