Enlargements of functional algebras for the lambda calculus
From MaRDI portal
Publication:1129261
DOI10.1016/S0304-3975(97)00126-6zbMATH Open0901.03016MaRDI QIDQ1129261FDOQ1129261
Authors: Robert Goldblatt 
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
lambda calculuslambda abstraction algebrasnonstandard mathematicsenvironment modelsrestricted algebras of functions
Cites Work
- Non-standard analysis
- Cylindric algebras. Part II
- Data Types as Lattices
- A Powerdomain Construction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonfinitizability of classes of representable cylindric algebras
- 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 constructive approach to nonstandard analysis
- Title not available (Why is that?)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- A set of postulates for the foundation of logic. II
- Lambda‐Calculus Models and Extensionality
- What is a model of the lambda calculus?
- Title not available (Why is that?)
- Lambda abstraction algebras: representation theorems
- Title not available (Why is that?)
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Title not available (Why is that?)
Cited In (5)
This page was built for publication: Enlargements of functional algebras for the lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1129261)
