Domains, integration and ‘positive analysis’
From MaRDI portal
Publication:4659541
DOI10.1017/S0960129504004372zbMath1083.03055OpenAlexW2114191069MaRDI QIDQ4659541
Publication date: 21 March 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129504004372
Contents, measures, outer measures, capacities (28A12) Constructive and recursive analysis (03F60) Integration with respect to measures and other set functions (28A25) Continuous lattices and posets, applications (06B35) Constructive real analysis (26E40) Other connections with logic and set theory (28E15)
Related Items
Algebras of the extended probabilistic powerdomain monad, Representing probability measures using probabilistic processes, Completing simple valuations in K-categories, A domain-theoretic approach to Brownian motion and general continuous stochastic processes, The power mean and the least squares mean of probability measures on the space of positive definite matrices, Admissible Representations of Probability Measures, The probabilistic powerdomain for stably compact spaces, Unnamed Item
