The following pages link to Finitary PCF is not decidable (Q5958762):
Displayed 11 items.
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Natural non-dcpo domains and f-spaces (Q1023300) (← links)
- Unary PCF is decidable (Q1274980) (← links)
- Decidability of behavioural equivalence in unary PCF (Q1285665) (← links)
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- Computing with Functionals—Computability Theory or Computer Science? (Q5479568) (← links)
