88], "Domain theory in logical form", Annals of Pure and Applied Logic 51 (1991)

by S Abramsky