Pages that link to "Item:Q674002"
From MaRDI portal
The following pages link to Lambda abstraction algebras: representation theorems (Q674002):
Displaying 15 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On an invariant-theoretic description of the lambda algebra (Q817051) (← links)
- A generalization of the lambda algebra (Q1066519) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Some acyclic relations in the lambda algebra (Q1766190) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Easiness in graph models (Q2368937) (← links)
- Nominal equational logic (Q2864152) (← links)
- (Q4217595) (← links)
- (Q4260390) (← links)
- A Mathematical Life (Q4586411) (← links)
- (Q4835611) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)