1972] "Interpretation fonctionelle et elimination des coupure dans l'arithmetic d'ordre superieur," These de Doctorat d'Etat (0)

by J Girard