1982] "The effective Topos (0)

by M Hyland
Venue:in The Brouwer Symposium, (Troelstra, Van Dalen eds.) North-Holland