Lambda abstraction algebras: representation theorems
From MaRDI portal
Publication:674002
DOI10.1016/0304-3975(94)00203-UzbMATH Open0874.68188MaRDI QIDQ674002FDOQ674002
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
Cites Work
- Data Types as Lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- The lambda calculus, its syntax and semantics
- Algebraization of quantifier logics, an introductory overview
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Lambda‐Calculus Models and Extensionality
- Axiomatization of polynomial substitution algebras
- Explicit substitutions
- What is a model of the lambda calculus?
- The abstract variable-binding calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transformation Algebras
- Cylindric Algebras and Algebras of Substitutions
Cited In (15)
- A generalization of the lambda algebra
- Title not available (Why is that?)
- Towards Lambda Calculus Order-Incompleteness
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Some acyclic relations in the lambda algebra
- On the algebraic models of lambda calculus
- Nominal equational logic
- Easiness in graph models
- The abstract variable-binding calculus
- A Mathematical Life
- Enlargements of functional algebras for the lambda calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- On an invariant-theoretic description of the lambda algebra
This page was built for publication: Lambda abstraction algebras: representation theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674002)