The discrete objects in the effective topos (1990)

by J M E Hyland, E P Robinson, G Rosolini
Venue:Proc. London Math. Soc