## Paper: A probabilistic powerdomain of evaluations (at LICS 1989)

**Curt Jones Gordon D. Plotkin**

### Abstract

A probabilistic power domain construction is given for the category of inductively complete partial orders. It is the partial order of continuous [0,1]-valued evaluations on the Scott topology. By means of a theory of integration with respect to such evaluations, the powerdomain is shown to be a monad, and a model for the Moggi computational lambda calculus is obtained. It is also possible to solve recursive domain equations involving the powerdomain, and all this gives a metalanguage for programming languages with probabilistic features. This is used to give the semantics of a language with a probabilistic parallel construct. it is shown that the construction generalizes previous work on partial orders of measures

### BibTeX

@InProceedings{JonesPlotkin-Aprobabilisticpower, author = {Curt Jones and Gordon D. Plotkin}, title = {A probabilistic powerdomain of evaluations}, booktitle = {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)}, year = {1989}, month = {June}, pages = {186--195}, location = {Pacific Grove, CA, USA}, publisher = {IEEE Computer Society Press} }