Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types

Girard, J. Y. (1971). Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types. Proceedings of the 2nd Scandinavian Logic Symposium, 63, 63–92. Retrieved from http://dx.doi.org/10.1016/S0049-237X(08)70843-7