Jean-Yves Girard

сечений для серии неклассических логик высших порядков, а Жирар (фр. Jean-Yves Girard) — для системы F. Такеути, 1978, с. 188—195. Tait W. W. A nonconstructive

Computation. — 2000. — Vol. 13. — P. 11—49. — doi:10.1023/A:1010000313106. Jean-Yves Girard. Une Extension de l’Interpretation de Gödel à l’Analyse, et son Application

Mathematical Society, 1969. — Vol. 146. — P. 29—60. — doi:10.2307/1995158. Jean-Yves Girard. Une Extension de l'Interpretation de Gödel à l'Analyse, et son Application

Система аффинного типа[англ.], система субструктурного типа[англ.] Jean-Yves Girard, 1997. 'Affine Архивная копия от 1 августа 2023 на Wayback Machine'

Theory. — Carnegie Mellon University, 2020. — arXiv:2011.03660v1. Jean-Yves Girard. Interprétation fonctionnelle et élimination des coupures de l’arithmétique