Pages that link to "Item:Q1583488"
From MaRDI portal
The following pages link to On the algebraic models of lambda calculus (Q1583488):
Displaying 22 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Nominal unification (Q1882909) (← links)
- Easiness in graph models (Q2368937) (← links)
- Nonmodularity results for lambda calculus (Q2729668) (← links)
- Nominal equational logic (Q2864152) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- (Q3086783) (← links)
- Applying Universal Algebra to Lambda Calculus (Q3583100) (← links)
- (Q4217595) (← links)
- A Note on Absolutely Unorderable Combinatory Algebras (Q4434611) (← links)
- Numeration Models of λ‐Calculus (Q4722039) (← links)
- The Lattice of Lambda Theories (Q4820472) (← links)
- (Q4835611) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Initial algebra semantics for lambda calculi (Q5887531) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Light genericity (Q6629516) (← links)