Domain theory and integration
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 3964277 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- scientific article; zbMATH DE number 194082 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 860054 (Why is no real title available?)
- scientific article; zbMATH DE number 233966 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3205524 (Why is no real title available?)
- scientific article; zbMATH DE number 3238722 (Why is no real title available?)
- scientific article; zbMATH DE number 3280853 (Why is no real title available?)
- A Riemann-type integral that includes Lebesgue-Stieltjes, Bochner and stochastic integrals
- An ergodic theorem for iterated maps
- CPO's of measures for nondeterminism
- Dynamical systems, measures, and fractals via domain theory
- Lattices with no interval homomorphisms
- Multifractality in forgetful memories
- Power domains and iterated function systems
Cited in
(61)- The generalized Riemann integral on locally compact spaces
- Computability on random events and variables in a computable probability space
- Limiting semantics of numerical programs
- Computability of measurable sets via effective topologies
- scientific article; zbMATH DE number 7297883 (Why is no real title available?)
- A computable approach to measure and integration theory
- Concrete domains
- scientific article; zbMATH DE number 107999 (Why is no real title available?)
- Prevision Domains and Convex Powercones
- Notions of Probabilistic Computability on Represented Spaces
- Computability on the probability measures on the Borel sets of the unit interval
- QRB, QFS, and the probabilistic powerdomain
- Partial correctness for probabilistic demonic programs
- Integration in Real PCF
- A computational model for metric spaces
- Ideal models of spaces.
- Measuring the probabilistic powerdomain
- PCF extended with real numbers
- Approximating labelled Markov processes
- Domain representations of topological spaces
- Properly injective spaces and function spaces
- Probabilistic powerdomains and quasi-continuous domains
- Representability of locally compact regular spaces by domains and formal spaces
- Topological games in domain theory
- Special issue on domain theory
- Domains, integration and ‘positive analysis’
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Models of computation for partial functions on the reals
- Reducibility of domain representations and Cantor–Weihrauch domain representations
- The solution operator of the Korteweg-de Vries equation is computable
- Structure in machine learning
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Computability on the probability measures on the Borel sets of the unit interval
- The formal ball model for \(\mathcal Q\)-categories
- An effect-theoretic account of Lebesgue integration
- Probabilistic event structures and domains
- Riemann and Edalat integration on domains.
- Topology, domain theory and theoretical computer science
- Isomorphism theorems between models of mixed choice
- The Riemann integral using ordered open coverings
- Computation on metric spaces via domain theory
- Coherence and consistency in domains
- A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations
- Representation of maxitive measures: An overview
- From probability monads to commutative effectuses
- Extension of valuations on locally compact sober spaces
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- A quantitative computational model for complete partial metric spaces via formal balls
- A differential operator and weak topology for Lipschitz maps
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
- Concrete models of computation for topological algebras
- Computation by `While' programs on topological partial algebras
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- A domain-theoretic approach to computability on the real line
- Measure and probability for concurrency theorists
- Computable exchangeable sequences have computable de Finetti measures
- De Groot duality and models of choice: angels, demons and nature
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces
- Integrals and valuations
- On computational environments of topological spaces
- Dynamical systems, measures, and fractals via domain theory
This page was built for publication: Domain theory and integration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671993)
