@inproceedings{5e30bd52c76b4e178ca4b70337f43646,
title = "The extended probabilistic powerdomain monad over stably compact spaces",
abstract = "For the semantics of probabilistic features in programming mainly two approaches are used for building models. One is the Giry monad of Borel probability measures over metric spaces, and the other is Jones' probabilistic powerdomain monad [6] over dcpos (directed complete partial orders). This paper places itself in the second domain theoretical tradition. The probabilistic power-domain monad is well understood over continuous domains. In this case the algebras of the monad can be described by an equational theory [6,9,5]. It is the aim of this work to obtain similar results for the (extended) probabilistic powerdomain monad over stably compact spaces. We mainly want to determine the algebras of this powerdomain monad and the algebra homomorphisms.",
author = "Ben Cohen and Martin Escardo and Klaus Keimel",
year = "2006",
doi = "10.1007/11750321_54",
language = "English",
isbn = "3540340211",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "566--575",
booktitle = "Theory and Applications of Models of Computation - Third International Conference, TAMC 2006, Proceedings",
note = "3rd International Conference on Theory and Applications of Models of Computation, TAMC 2006 ; Conference date: 15-05-2006 Through 20-05-2006",
}