Probabilistic Power Domains, Information Systems, and Locales

Reinhold Heckmann


The probabilistic power domain construction of Jones and Plotkin [6, 7] is defined by a construction on dcpo's. We present alternative definitions in terms of information systems à la Vickers [12], and in terms of locales. On continuous domains, all three definitions coincide.

[ (28p, 90k)]

Reinhold Heckmann /