Marcelo P. Fiore, Gordon D. Plotkin. An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. In Dirk van Dalen, Marc Bezem, editors, Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Volume 1258 of Lecture Notes in Computer Science, pages 129-149, Springer, 1996.
Abstract is missing.