### Abstract

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 mathematical questions about the examples.

Original language | English (US) |
---|---|

Title of host publication | Mathematical Foundations of Programming Semantics - International Conference, Proceedings |

Editors | Austin Melton |

Publisher | Springer-Verlag |

Pages | 101-121 |

Number of pages | 21 |

ISBN (Print) | 9783540168164 |

DOIs | |

State | Published - Jan 1 1986 |

Externally published | Yes |

Event | International Conference on Mathematical Foundations of Programming Semantics, 1985 - Manhattan, United States Duration: Apr 11 1985 → Apr 12 1985 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 239 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | International Conference on Mathematical Foundations of Programming Semantics, 1985 |
---|---|

Country | United States |

City | Manhattan |

Period | 4/11/85 → 4/12/85 |

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## Fingerprint Dive into the research topics of 'Comparing categories of domains'. Together they form a unique fingerprint.

## Cite this

Gunter, C. A. (1986). Comparing categories of domains. In A. Melton (Ed.),

*Mathematical Foundations of Programming Semantics - International Conference, Proceedings*(pp. 101-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 239 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-16816-8_27