girard1972-cuts-higher-order-arithmetic

@article{girard1972interpretation,
title={Interpr{‘e}tation fonctionnelle et {‘e}limination des coupures de l’arithm{‘e}tique d’ordre sup{‘e}rieur},
author={Girard, Jean-Yves},
year={1972},
publisher={{‘E}diteur inconnu}
}