|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/214
|
| Title: | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory |
| Authors: | Plotkin, Gordon
Fiore, Marcelo P |
| Issue Date: | 5-Nov-2003 |
| Abstract: | We relate certain models of Axiomatic Domain Theory (ADT)
and Synthetic Domain Theory (SDT). On the one hand, we introduce
a class of non-elementary models of SDT and show that the domains in
them yield models of ADT. On the other hand, for each model of ADT
in a wide class we construct a model of SDT such that the domains in
it provide a model of ADT which conservatively extends the original
model. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/214 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
