The following pages link to PCF extended with real numbers (Q1349926):
Displaying 8 items.
- An abstract data type for real numbers (Q4571945) (← links)
- On naturally continuous non-dcpo domains (Q4593242) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- Common coincidence points for Nadler's type hybrid fuzzy contractions (Q6142194) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)