%0 Journal Article
%A Moschovakis, Joan Rand
%T A topological interpretation of second-order intuitionistic arithmetic
%J Compositio Mathematica
%D 1973
%P 261-275
%V 26
%N 3
%I Noordhoff International Publishing
%U http://www.numdam.org/item/CM_1973__26_3_261_0/
%G en
%F CM_1973__26_3_261_0