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

Compositio Mathematica, Tome 20 (1968), p. 107-124 / Harvested from Numdam

Howard, W. A.

Ordinal analysis of bar recursion of type zero
Compositio Mathematica, Tome 42 (1980), p. 105-119 / Harvested from Numdam