Interpretation fonctionelle et elimination des coupures de l’arithmetique d’ordre superieur (1972)

by J-Y Girard