Information Services banner Edinburgh Research Archive The University of Edinburgh crest

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

This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Cuboidal.pdf250.71 kBAdobe PDFView/Open
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.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy