Liste des citations dans Numdam pour : Extending the topological interpretation to intuitionistic analysis

Compositio Mathematica, Tome 20 (1968), p. 194-210 / Harvested from Numdam

Moschovakis, Joan Rand

A topological interpretation of second-order intuitionistic arithmetic
Compositio Mathematica, Tome 27 (1973), p. 261-275 / Harvested from Numdam