Domain theory and integration

DOI10.1016/0304-3975(95)00050-7zbMATH Open0872.28006OpenAlexW2115154197MaRDI QIDQ671993FDOQ671993

Abbas Edalat

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 systemsIFScompact metric spacesbounded Borel measuresintegration of bounded real-valued functionsprobabilistic power domain

Mathematics Subject Classification ID

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

Cites Work

• Power domains and iterated function systems
• An ergodic theorem for iterated maps
• Lattices with no interval homomorphisms
• Dynamical systems, measures, and fractals via domain theory
• CPO's of measures for nondeterminism
• Multifractality in forgetful memories
• A Riemann-type integral that includes Lebesgue-Stieltjes, Bochner and stochastic integrals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (58)

• The generalized Riemann integral on locally compact spaces
• Computability on random events and variables in a computable probability space
• The Solution Operator of the Korteweg-de Vries Equation is Computable
• Limiting semantics of numerical programs
• Title not available (Why is that?)
• Computability of measurable sets via effective topologies
• Prevision Domains and Convex Powercones
• Title not available (Why is that?)
• Concrete domains
• A computable approach to measure and integration theory
• Notions of Probabilistic Computability on Represented Spaces
• Computability on the probability measures on the Borel sets of the unit interval
• Partial correctness for probabilistic demonic programs
• QRB, QFS, and the probabilistic powerdomain
• Computable Exchangeable Sequences Have Computable de Finetti Measures
• Integration in Real PCF
• Ideal models of spaces.
• A computational model for metric 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
• Representability of locally compact regular spaces by domains and formal spaces
• Topological games in domain theory
• Special issue on domain theory
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• Models of computation for partial functions on the reals
• Computability on the probability measures on the Borel sets of the unit interval
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• An effect-theoretic account of Lebesgue integration
• Probabilistic event structures and domains
• Isomorphism theorems between models of mixed choice
• Riemann and Edalat integration on domains.
• Topology, domain theory and theoretical computer science
• 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 quantitative computational model for complete partial metric spaces via formal balls
• A domain-theoretic approach to Brownian motion and general continuous stochastic processes
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
• A differential operator and weak topology for Lipschitz maps
• Concrete models of computation for topological algebras
• Computation by `While' programs on topological partial algebras
• A domain-theoretic approach to computability on the real line
• Measure and probability for concurrency theorists
• The formal ball model for -categories
• De Groot duality and models of choice: angels, demons and nature
• A Domain-Theoretic Approach to Integration in Hausdorff Spaces
• On computational environments of topological spaces
• Probabilistic Powerdomains and Quasi-Continuous Domains
• Structure in machine learning

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)