Domain theory and integration

DOI10.1016/0304-3975(95)00050-7zbMath0872.28006OpenAlexW2115154197MaRDI QIDQ671993

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/618

zbMATH Keywords

iterated function systems IFS compact metric spaces bounded Borel measures integration of bounded real-valued functions probabilistic power domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Fractals (28A80) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)

Related Items (52)

Computability of measurable sets via effective topologies ⋮ Topological games in domain theory ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Measuring the probabilistic powerdomain ⋮ PCF extended with real numbers ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ A computational model for metric spaces ⋮ From probability monads to commutative effectuses ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ Limiting semantics of numerical programs ⋮ Approximating labelled Markov processes ⋮ Isomorphism theorems between models of mixed choice ⋮ An effect-theoretic account of Lebesgue integration ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ Representation of maxitive measures: An overview ⋮ Riemann and Edalat integration on domains. ⋮ Ideal models of spaces. ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations ⋮ De Groot duality and models of choice: angels, demons and nature ⋮ On computational environments of topological spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ The Solution Operator of the Korteweg-de Vries Equation is Computable ⋮ Computability on random events and variables in a computable probability space ⋮ Notions of Probabilistic Computability on Represented Spaces ⋮ Computable Exchangeable Sequences Have Computable de Finetti Measures ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ Models of computation for partial functions on the reals ⋮ A differential operator and weak topology for Lipschitz maps ⋮ The Riemann integral using ordered open coverings ⋮ Probabilistic event structures and domains ⋮ Partial correctness for probabilistic demonic programs ⋮ Prevision Domains and Convex Powercones ⋮ The formal ball model for -categories ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A computable approach to measure and integration theory ⋮ A domain-theoretic approach to computability on the real line ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Concrete models of computation for topological algebras ⋮ Computation by `While' programs on topological partial algebras ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ The generalized Riemann integral on locally compact spaces ⋮ Properly injective spaces and function spaces ⋮ Topology, domain theory and theoretical computer science ⋮ Computation on metric spaces via domain theory ⋮ Domain representations of topological spaces ⋮ Measure and probability for concurrency theorists ⋮ Integration in Real PCF ⋮ A Domain-Theoretic Approach to Integration in Hausdorff Spaces ⋮ Extension of valuations on locally compact sober spaces

Cites Work

This page was built for publication: Domain theory and integration