A topological interpretation of second-order intuitionistic arithmetic

Moschovakis, Joan Rand

Compositio Mathematica, Volume 26 (1973) p. 261-275