Liste des citations dans Numdam pour : Functional interpretation of bar induction by bar recursion

Compositio Mathematica, Tome 20 (1968), pp. 107-124.

Howard, W. A.

Compositio Mathematica, Tome 42 (1980) no. 1, pp. 105-119.