### 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 |

### Fingerprint

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

### Cite this

*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

**Comparing categories of domains.** / Gunter, Carl A.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Mathematical Foundations of Programming Semantics - International Conference, Proceedings.*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 239 LNCS, Springer-Verlag, pp. 101-121, International Conference on Mathematical Foundations of Programming Semantics, 1985, Manhattan, United States, 4/11/85. https://doi.org/10.1007/3-540-16816-8_27

}

TY - GEN

T1 - Comparing categories of domains

AU - Gunter, Carl A.

PY - 1986/1/1

Y1 - 1986/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=18944386156&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=18944386156&partnerID=8YFLogxK

U2 - 10.1007/3-540-16816-8_27

DO - 10.1007/3-540-16816-8_27

M3 - Conference contribution

AN - SCOPUS:18944386156

SN - 9783540168164

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

SP - 101

EP - 121

BT - Mathematical Foundations of Programming Semantics - International Conference, Proceedings

A2 - Melton, Austin

PB - Springer-Verlag

ER -