List of citations in Numdam for : Functional interpretation of bar induction by bar recursion

Compositio Mathematica, Volume 20  (1968), p. 107-124

Howard, W. A.

Compositio Mathematica, Volume 42 (1980) no. 1, p. 105-119