Jean-Yves Girard. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d’ordre supérieur.. PhD thesis, Université Paris 7, 1972.
@phdthesis{Girard72,
title = {Interprétation fonctionnelle et élimination des coupures de l'arithmétique d’ordre supérieur.},
author = {Jean-Yves Girard},
year = {1972},
researchr = {https://researchr.org/publication/Girard72},
cites = {0},
citedby = {0},
school = {Université Paris 7},
}