List of citations in Numdam for : Extending the topological interpretation to intuitionistic analysis

Compositio Mathematica, Volume 20  (1968), p. 194-210