On a new method in intuitionist linear analysis

Shukla, Sahab Lal

Compositio Mathematica, Volume 26 (1973) p. 181-202