An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (1997)

by Marcelo Fiore, Gordon D. Plotkin
Venue:In Proceedings of CSL 96