Pages that link to "Item:Q1021569"
From MaRDI portal
The following pages link to On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569):
Displaying 11 items.
- Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137) (← links)
- Completeness of type assignment in continuous lambda models (Q792995) (← links)
- A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (Q1127535) (← links)
- Constructive \(\lambda\)-models (Q1192622) (← links)
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus (Q1198661) (← links)
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
- Ordered models of the lambda calculus (Q2871473) (← links)
- Effectively given domains and lambda-calculus models (Q3734353) (← links)
- Scott's semantics of lambda calculus is incompatible with the existence of a universal retraction (Q3992265) (← links)
- Unfixing the Fixpoint: The Theories of the λY-Calculus (Q4922079) (← links)