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

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

---