Enlargements of functional algebras for the lambda calculus

DOI10.1016/S0304-3975(97)00126-6MaRDI QIDQ1129261zbMATH OpenFDO

Authors 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)

Recommendations

• A finite equational axiomatization of the functional algebras for the lambda calculus
• scientific article; zbMATH DE number 1136648
• Models of the lambda calculus

Cites work

• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3559571 (Why is no real title available?)
• scientific article; zbMATH DE number 1222100 (Why is no real title available?)
• scientific article; zbMATH DE number 3799641 (Why is no real title available?)
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A Powerdomain Construction
• A constructive approach to nonstandard analysis
• A finite equational axiomatization of the functional algebras for the lambda calculus
• A set of postulates for the foundation of logic. II
• 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
• Data Types as Lattices
• Lambda abstraction algebras: representation theorems
• Lambda‐Calculus Models and Extensionality
• Non-standard analysis
• Nonfinitizability of classes of representable cylindric algebras
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• What is a model of the lambda calculus?

Cited in

(5)

• A generalization of the lambda algebra
• A finite equational axiomatization of the functional algebras for the lambda calculus
• On the algebraic models of lambda calculus
• Static extensivity analysis for \(\lambda\)-definable functions over lattices
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS

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)