Domain theory in logical form. (1991)

by S Abramsky
Venue:In Annals of Pure and Applied Logic,