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} }