The following pages link to (Q4847018):
Displayed 6 items.
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- Generalized filter models (Q1575259) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)