On the algebraic models of lambda calculus
From MaRDI portal
Publication:1583488
DOI10.1016/S0304-3975(00)00059-1zbMath0949.68048MaRDI QIDQ1583488
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
lambda calculusuniversal algebralambda abstraction algebrascombinatory algebrasinfinitary lambda calculus
Related Items
What is a categorical model of the differential and the resource λ-calculi?, Nominal unification, Easiness in graph models, Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications, Capture-avoiding substitution as a nominal algebra, a-Logic With Arrows, Towards Lambda Calculus Order-Incompleteness, Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, Nominal Equational Logic
Cites Work
- Lambda abstraction algebras: representation theorems
- Enlargements of functional algebras for the lambda calculus
- 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
- Algebraization of quantifier logics, an introductory overview
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Infinitary lambda calculus
- The abstract variable-binding calculus
- Lambda‐Calculus Models and Extensionality
- Axiomatization of polynomial substitution algebras
- Data Types as Lattices
- What is a model of the lambda calculus?
- Transformation Algebras
- Cylindric Algebras and Algebras of Substitutions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
