Pages that link to "Item:Q3583100"
From MaRDI portal
The following pages link to Applying Universal Algebra to Lambda Calculus (Q3583100):
Displaying 3 items.
- Boolean-like algebras (Q353355) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
