Semantics of Binary Choice Constructs
Reinhold Heckmann
Abstract
This paper is a summary of the following six publications:
- Stable Power Domains
- Product Operations in Strong Monads
- Power Domains Supporting Recursion and Failure
- Lower Bag Domains
- Probabilistic Domains
- Probabilistic Power Domains,
Information Systems, and Locales
After a general introduction in Section 0,
the main results of these six publications are summarized
in Sections 1 through 6.
[Paper.ps.gz (38p, 128k)]
Reinhold Heckmann /
heckmann@absint.com