The discrete objects in the eective topos (1990)

by J M E Hyland, E P Robinson, G Rosolini
Venue:Proceedings of the London Mathematical Society