The following pages link to PCF extended with real numbers (Q1349926):
Displayed 24 items.
- Coupled coincidence points of mappings in ordered partial metric spaces (Q417101) (← links)
- Generalized contractions on partial metric spaces (Q616918) (← links)
- Fixed point theorems for monotone mappings on partial metric spaces (Q623555) (← links)
- Fixed points of Geraghty-type mappings in various generalized metric spaces (Q657139) (← links)
- Quasi-metrics and monotone normality (Q719741) (← links)
- Partial metric monoids and semivaluation spaces (Q818425) (← links)
- Termination of floating-point computations (Q850498) (← links)
- An extension of the dual complexity space and an application to computer science (Q1032953) (← links)
- A domain-theoretic approach to computability on the real line (Q1274807) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Hierarchies of total functionals over the reals (Q1434355) (← links)
- Contractivity of linear fractional transformations (Q1603893) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- Integration in Real PCF (Q1854356) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- A quasi-metric computational model from modular functions on monoids (Q3643150) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)