Enlargements of functional algebras for the lambda calculus

DOI10.1016/S0304-3975(97)00126-6zbMath0901.03016MaRDI QIDQ1129261

Robert Goldblatt

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

lambda calculuslambda abstraction algebrasnonstandard mathematicsenvironment modelsrestricted algebras of functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus

Cites Work

• Lambda abstraction algebras: representation theorems
• Cylindric algebras. Part II
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• A set of postulates for the foundation of logic. II
• A constructive approach to nonstandard analysis
• Lambda‐Calculus Models and Extensionality
• Data Types as Lattices
• A Powerdomain Construction
• What is a model of the lambda calculus?
• Nonfinitizability of classes of representable cylindric algebras
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Enlargements of functional algebras for the lambda calculus