The effective topos (1981)

by J M E Hyland
Venue:in Proc. of The L. E.J. Brouwer Centenary Symposium (Noordwijkerhout