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.
CITATION STYLE
Fiore, M. P., & Plotkin, G. D. (1997). An extension of models of axiomatic domain theory to models of synthetic domain theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1258, pp. 129–149). Springer Verlag. https://doi.org/10.1007/3-540-63172-0_36
Mendeley helps you to discover research relevant for your work.