@inbook{fiore_plotkin_1997, title={An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory}, ISBN={9783540692010}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/3-540-63172-0_36}, DOI={10.1007/3-540-63172-0_36}, booktitle={Computer Science Logic}, publisher={Springer Berlin Heidelberg}, author={Fiore, Marcelo P. and Plotkin, Gordon D.}, year={1997}, pages={129–149} }