An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.

Marcelo P. Fiore, Gordon D. Plotkin

Browse the full CSL paper archive.