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