@incollection{Girard_1971,
    doi = {10.1016/s0049-237x(08)70843-7},
    url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970843-7},
    year = {1971},
    publisher = {Elsevier},
    pages = {63--92},
    author = {Jean-Yves Girard},
    title = {Une Extension De {\v{L}}Interpretation De Gödel a {\v{L}}Analyse, Et Son Application a {\v{L}}Elimination Des Coupures Dans {\v{L}}Analyse Et La Theorie Des Types},
    booktitle = {Proceedings of the Second Scandinavian Logic Symposium}
}

@incollection{Girard_1971, doi = {10.1016/s0049-237x(08)70843-7}, url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970843-7}, year = {1971}, publisher = {Elsevier}, pages = {63--92}, author = {Jean-Yves Girard}, title = {Une Extension De {\v{L}}Interpretation De Gödel a {\v{L}}Analyse, Et Son Application a {\v{L}}Elimination Des Coupures Dans {\v{L}}Analyse Et La Theorie Des Types}, booktitle = {Proceedings of the Second Scandinavian Logic Symposium} }