Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur (1972)

by J-Y Girard