Domain theory in logical form, Annals of Pure and Applied Logic 51,(1-2 (1991)

by S Abramsky