Lambda abstraction algebras: representation theorems

This publication has 7 references indexed in Scilit:

• Algebraization of quantifier logics, an introductory overview
  Studia Logica, 1991
• Axiomatization of polynomial substitution algebras
  The Journal of Symbolic Logic, 1982
• What is a model of the lambda calculus?
  Information and Control, 1982
• Lambda‐Calculus Models and Extensionality
  Mathematical Logic Quarterly, 1980
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Cylindric algebras and algebras of substitutions
  Transactions of the American Mathematical Society, 1973
• Transformation Algebras
  Canadian Journal of Mathematics, 1961