Domain theory in logical form (1991)

by S Abramsky
Venue:Annals of Pure and Applied Logic