Pages that link to "Item:Q2871473"
From MaRDI portal
The following pages link to Ordered models of the lambda calculus (Q2871473):
Displaying 6 items.
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- On a question of H. Friedman (Q1917095) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- (Q3787977) (← links)
- A Note on Absolutely Unorderable Combinatory Algebras (Q4434611) (← links)