Pages that link to "Item:Q1274810"
From MaRDI portal
The following pages link to Induction and recursion on the partial real line with applications to Real PCF (Q1274810):
Displayed 6 items.
- Computable de Finetti measures (Q764273) (← links)
- An extension of the dual complexity space and an application to computer science (Q1032953) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- A Real Elementary Approach to the Master Recurrence and Generalizations (Q3010381) (← links)