Interprétation fonctionelle et élimination des coupures dans l’arithmetique d’ordre supérieur (1972)

by J-Y Girard