Comparing Categories of Domains

CMU-CS-85-141

Carl A. Gunter

July 1985

We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematcial questions about the examples.

21 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by [email protected]