Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
dc.contributor.author | Fiore, Marcelo P | en |
dc.contributor.author | Plotkin, Gordon | en |
dc.contributor.author | Power, John | en |
dc.coverage.spatial | 12 | en |
dc.date.accessioned | 2003-11-06T10:16:07Z | |
dc.date.available | 2003-11-06T10:16:07Z | |
dc.date.issued | 2003-11-06T10:16:07Z | |
dc.identifier.uri | http://hdl.handle.net/1842/216 | |
dc.description.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. | en |
dc.format.extent | 256728 bytes | en |
dc.format.mimetype | application/pdf | en |
dc.language.iso | en | |
dc.subject | Laboratory for Foundations of Computer Science | en |
dc.title | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) | en |
dc.type | Preprint | en |