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

by J Girard