A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Probabilistic non-determinism
Handbook of logic in computer science (vol. 1)
A Universal Characterization of the Closed Euclidean Interval
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing free algebras in Topological and Classical Domain Theory
Theoretical Computer Science
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
Electronic Notes in Theoretical Computer Science (ENTCS)
The extended probabilistic powerdomain monad over stably compact spaces
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Observationally-induced Effects in Cartesian Closed Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Observationally-induced Algebras in Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We give a universal property for an ''abstract probabilistic powerdomain'' based on an analysis of observable properties of probabilistic computation. The universal property determines an abstract notion of integration satisfying the usual equational laws. In the category of topological spaces, the abstract probabilsitic powerdomain is given explicitly by the space of continuous probability valuations with weak topology. Thus our abstract notion of integration coincides with the usual integration for probability valuations. We end by discussing how our approach might adapt to provide ''abstract effect spaces'' for other computational effects.