The eective topos (1982)

by J M E Hyland
Venue:In The L.E.J. Brouwer Centenary Symposium