Filter Spaces and Continuous Functions (1979)

by J M E Hyland
Venue:Annals of Mathematical Logic