On the algebraic models of lambda calculus
- 17 October 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 249 (1) , 197-240
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- The lambda calculus is algebraicJournal of Functional Programming, 2002
- Enlargements of functional algebras for the lambda calculusTheoretical Computer Science, 1998
- Infinitary lambda calculusTheoretical Computer Science, 1997
- Lambda abstraction algebras: representation theoremsTheoretical Computer Science, 1995
- The abstract variable-binding calculusStudia Logica, 1995
- Axiomatization of polynomial substitution algebrasThe Journal of Symbolic Logic, 1982
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- Cylindric algebras and algebras of substitutionsTransactions of the American Mathematical Society, 1973
- Cylindric Algebras and Algebras of SubstitutionsTransactions of the American Mathematical Society, 1973
- Transformation AlgebrasCanadian Journal of Mathematics, 1961