The effective topos, in The L.E.J. Brouwer Centenary Symposium (1982)

by J M E Hyland
Venue:Studies in Logic and the Foundations of Mathematics vol. 110 (North–Holland