Interprétation fonctionnelle et élimination des coupures de l'arithmétique d’ordre supérieur.

Jean-Yves Girard. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d’ordre supérieur.. PhD thesis, Université Paris 7, 1972.

Publication has no abstract