PCF extended with real numbers
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 3987247 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 555217 (Why is no real title available?)
- scientific article; zbMATH DE number 3440003 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 860046 (Why is no real title available?)
- scientific article; zbMATH DE number 3428899 (Why is no real title available?)
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3219506 (Why is no real title available?)
- scientific article; zbMATH DE number 3246263 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 958048 (Why is no real title available?)
- A fundamental effect in computations on real numbers
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Computability and Noncomputability in Classical Analysis
- Computing with infinite objects
- Criteria of constructibility for real numbers
- Domain theory and integration
- Dynamical systems, measures, and fractals via domain theory
- Effectively given domains
- Integration in Real PCF
- Interval representations
- LCF considered as a programming language
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- On the definitions of computable real continuous functions
- Power domains and iterated function systems
- Recursive Real Numbers
- Semi-metrics, closure spaces and digital topology
- The computable multi-functions on multi-represented sets are closed under programming
Cited in
(61)- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Common fixed points of \(g\)-quasicontractions and related mappings in 0-complete partial metric spaces
- A stream calculus of bottomed sequences for real number computation
- Fixed point theory for cyclic generalized contractions in partial metric spaces
- Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces
- Fixed point results under various contractive conditions in partial metric spaces
- Exact real number computations relative to hereditarily total functionals.
- Generalized contractions on partial metric spaces
- Contractivity of linear fractional transformations
- Semantics, specification logic, and Hoare logic of exact real computation
- Two Suzuki type fixed point theorems on partial metric spaces
- Common coincidence points for Nadler's type hybrid fuzzy contractions
- Fixed point theorems for monotone mappings on partial metric spaces
- Semi-decidability of may, must and probabilistic testing in a higher-type setting
- Fixed points of Geraghty-type mappings in various generalized metric spaces
- Admissibly Represented Spaces and Qcb-Spaces
- Effective λ-models versus recursively enumerable λ-theories
- An abstract data type for real numbers
- On fixed point theory in partial metric spaces
- Partial correctness for probabilistic demonic programs
- Termination of floating-point computations
- Common fixed point theorems for weakly isotone increasing mappings in ordered partial metric spaces
- Integration in Real PCF
- On cyclic generalized weakly C-contractions on partial metric spaces
- Fixed point theorems for weak contractions in the sense of Berinde on partial metric spaces
- Coupled coincidence points in partially ordered cone metric spaces with a \(c\)-distance
- Quasi-metrics and monotone normality
- Fixed-point theorems for multivalued generalized nonlinear contractive maps in partial metric spaces
- Extracting total Amb programs from proofs
- Hierarchies of total functionals over the reals
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Domain theoretic second-order Euler's method for solving initial value problems
- Properly injective spaces and function spaces
- Partial metric monoids and semivaluation spaces
- A quasi-metric computational model from modular functions on monoids
- An abstract data type for real numbers
- An extension of the dual complexity space and an application to computer science
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Coherence spaces and uniform continuity
- Semantics of a sequential language for exact real-number computation
- Coupled coincidence points of mappings in ordered partial metric spaces
- Recursive solution of initial value problems with temporal discretization
- Best proximity point theorems for weakly contractive mapping and weakly Kannan mapping in partial metric spaces
- Sequential real number computation and recursive relations
- Bicompleting weightable quasi-metric spaces and partial metric spaces
- scientific article; zbMATH DE number 1531376 (Why is no real title available?)
- Can partial indexings be totalized?
- Fixed point theorems for Ćirić-type strong almost contractions on partial metric spaces
- Common fixed point of mappings satisfying almost generalized \((S,T)\)-contractive condition in partially ordered partial metric spaces
- Induction and recursion on the partial real line with applications to Real PCF
- A fixed point theorem for new type contractions on weak partial metric spaces
- Generalized Geraghty type mappings on partial metric spaces and fixed point results
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Fixed point theorems under Hardy-Rogers contractive conditions on 0-complete ordered partial metric spaces
- Quantitative semantics, topology, and possibility measures
- Fixed point theorems for generalized almost contractions in partial metric spaces
- A domain-theoretic approach to computability on the real line
- Lazy computation with exact real numbers
- Intuitionistic fixed point logic
- Iterative approximation of fixed points of Prešić operators on partial metric spaces
- On naturally continuous non-dcpo domains
This page was built for publication: PCF extended with real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349926)
