Computer Science Department
School of Computer Science, Carnegie Mellon University


Comparing Categories of Domains


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