Semantics of Binary Choice Constructs

Reinhold Heckmann

Abstract

This paper is a summary of the following six publications:

  1. Stable Power Domains
  2. Product Operations in Strong Monads
  3. Power Domains Supporting Recursion and Failure
  4. Lower Bag Domains
  5. Probabilistic Domains
  6. 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