The following pages link to (Q4190621):
Displayed 4 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Admissible representations of effective cpo's (Q1068562) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)