PCF extended with real numbers
From MaRDI portal
Publication:1349926
DOI10.1016/0304-3975(95)00250-2zbMath0871.68034OpenAlexW2166644419WikidataQ126634674 ScholiaQ126634674MaRDI QIDQ1349926
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00250-2
Related Items (58)
Partial metric monoids and semivaluation spaces ⋮ A stream calculus of bottomed sequences for real number computation ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Domain theoretic second-order Euler's method for solving initial value problems ⋮ Semantics of a sequential language for exact real-number computation ⋮ Iterative approximation of fixed points of Prešić operators on partial metric spaces ⋮ Termination of floating-point computations ⋮ Generalized Geraghty type mappings on partial metric spaces and fixed point results ⋮ On cyclic generalized weakly \(C\)-contractions on partial metric spaces ⋮ Fixed point theory for cyclic generalized contractions in partial metric spaces ⋮ Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces ⋮ Common fixed points of \(g\)-quasicontractions and related mappings in 0-complete partial metric spaces ⋮ Fixed point results under various contractive conditions in partial metric spaces ⋮ Fixed point theorems under Hardy-Rogers contractive conditions on 0-complete ordered partial metric spaces ⋮ On fixed point theory in partial metric spaces ⋮ Generalized contractions on partial metric spaces ⋮ Recursive solution of initial value problems with temporal discretization ⋮ On naturally continuous non-dcpo domains ⋮ Two Suzuki type fixed point theorems on partial metric spaces ⋮ Fixed point theorems for monotone mappings on partial metric spaces ⋮ Common coincidence points for Nadler's type hybrid fuzzy contractions ⋮ Coupled coincidence points of mappings in ordered partial metric spaces ⋮ Extracting total Amb programs from proofs ⋮ Fixed point theorems for weak contractions in the sense of Berinde on partial metric spaces ⋮ Fixed point theorems for Ćirić-type strong almost contractions on partial metric spaces ⋮ An abstract data type for real numbers ⋮ Common fixed point of mappings satisfying almost generalized \((S,T)\)-contractive condition in partially ordered partial metric spaces ⋮ Intuitionistic fixed point logic ⋮ Coherence Spaces and Uniform Continuity ⋮ Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring ⋮ Common fixed point theorems for weakly isotone increasing mappings in ordered partial metric spaces ⋮ Fixed points of Geraghty-type mappings in various generalized metric spaces ⋮ Hierarchies of total functionals over the reals ⋮ A fixed point theorem for new type contractions on weak partial metric spaces ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ Sequential Real Number Computation and Recursive Relations ⋮ Can partial indexings be totalized? ⋮ Coupled coincidence points in partially ordered cone metric spaces with a \(c\)-distance ⋮ Fixed-point theorems for multivalued generalized nonlinear contractive maps in partial metric spaces ⋮ Best proximity point theorems for weakly contractive mapping and weakly Kannan mapping in partial metric spaces ⋮ Quasi-metrics and monotone normality ⋮ Partial correctness for probabilistic demonic programs ⋮ Fixed point theorems for generalized almost contractions in partial metric spaces ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ A domain-theoretic approach to computability on the real line ⋮ Induction and recursion on the partial real line with applications to Real PCF ⋮ A quasi-metric computational model from modular functions on monoids ⋮ Effective λ-models versus recursively enumerable λ-theories ⋮ An extension of the dual complexity space and an application to computer science ⋮ Quantitative semantics, topology, and possibility measures ⋮ Properly injective spaces and function spaces ⋮ Bicompleting weightable quasi-metric spaces and partial metric spaces ⋮ An abstract data type for real numbers ⋮ Integration in Real PCF ⋮ Contractivity of linear fractional transformations ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Exact real number computations relative to hereditarily total functionals. ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Uses Software
Cites Work
- Domain theory and integration
- Semi-metrics, closure spaces and digital topology
- Effectively given domains
- Computing with infinite objects
- LCF considered as a programming language
- A fundamental effect in computations on real numbers
- Integration in Real PCF
- Dynamical systems, measures, and fractals via domain theory
- Power domains and iterated function systems
- On the definitions of computable real continuous functions
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Computability and Noncomputability in Classical Analysis
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- Interval Representations
- Criteria of constructibility for real numbers
- Recursive Real Numbers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: PCF extended with real numbers
