Pages that link to "Item:Q1583488"
From MaRDI portal
The following pages link to On the algebraic models of lambda calculus (Q1583488):
Displaying 10 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- Nominal unification (Q1882909) (← links)
- Easiness in graph models (Q2368937) (← links)
- Nominal Equational Logic (Q2864152) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
