Show simple item record

dc.contributor.authorFiore, Marcelo P
dc.contributor.authorPlotkin, Gordon
dc.contributor.authorPower, John
dc.coverage.spatial12en
dc.date.accessioned2003-11-06T10:16:07Z
dc.date.available2003-11-06T10:16:07Z
dc.date.issued2003-11-06T10:16:07Z
dc.identifier.urihttp://hdl.handle.net/1842/216
dc.description.abstractWe 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.extent256728 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.subjectLaboratory for Foundations of Computer Science
dc.titleComplete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)en
dc.typePreprinten


Files in this item

This item appears in the following Collection(s)

Show simple item record