Show simple item record

Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)

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

Name:
Cuboidal.pdf
Size:
250.7Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

  • Informatics Publications

    • Show simple item record