@incollection{Girard_1989,
    doi = {10.1016/s0049-237x(08)70271-4},
    url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970271-4},
    year = {1989},
    publisher = {Elsevier},
    pages = {221--260},
    author = {Jean-Yves Girard},
    title = {Geometry of Interaction 1: Interpretation of System F},
    booktitle = {Logic Colloquium {\textquotesingle}88, Proceedings of the Colloquium held in Padova}
}

@incollection{Girard_1989, doi = {10.1016/s0049-237x(08)70271-4}, url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970271-4}, year = {1989}, publisher = {Elsevier}, pages = {221--260}, author = {Jean-Yves Girard}, title = {Geometry of Interaction 1: Interpretation of System F}, booktitle = {Logic Colloquium {\textquotesingle}88, Proceedings of the Colloquium held in Padova} }