The abstract variable-binding calculus

This publication has 13 references indexed in Scilit:

• A representation theorem for polyadic Heyting algebras
  Algebra universalis, 1982
• What is a model of the lambda calculus?
  Information and Control, 1982
• On systems of varieties definable by schemes of equations
  Algebra universalis, 1980
• Lambda‐Calculus Models and Extensionality
  Mathematical Logic Quarterly, 1980
• Some model theory for monotone quantifiers
  Archive for Mathematical Logic, 1977
• Algebraic Semantics for Modal Predicate Logic
  Mathematical Logic Quarterly, 1976
• Logic with the quantifier “there exist uncountably many”
  Annals of Mathematical Logic, 1970
• On a generalized cylindrical algebra and intuitionistic logic
  Studia Logica, 1966
• An algebraic characterization of quantifiers
  Fundamenta Mathematicae, 1950
• Proofs of non-deducibility in intuitionistic functional calculus
  The Journal of Symbolic Logic, 1948