|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/216
|
| Title: | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) |
| Authors: | Fiore, Marcelo P
Plotkin, Gordon
Power, John |
| Issue Date: | 6-Nov-2003 |
| Abstract: | We study the enrichment of models of axiomatic do-
main theory. To this end, we introduce a new and
broader notion of domain, viz. that of complete cuboidal
set, that complies with the axiomatic requirements.
We show that the category of complete cuboidal sets
provides a general notion of enrichment for a wide class
of axiomatic domain-theoretic structures. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/216 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
