@incollection{Bernardy_2011,
    doi = {10.1007/978-3-642-19805-2_8},
    url = {https://doi.org/10.1007%2F978-3-642-19805-2_8},
    year = {2011},
    publisher = {Springer Berlin Heidelberg},
    pages = {108--122},
    author = {Jean-Philippe Bernardy and Marc Lasson},
    title = {Realizability and Parametricity in Pure Type Systems},
    booktitle = {Foundations of Software Science and Computational Structures}
}

@incollection{Bernardy_2011, doi = {10.1007/978-3-642-19805-2_8}, url = {https://doi.org/10.1007%2F978-3-642-19805-2_8}, year = {2011}, publisher = {Springer Berlin Heidelberg}, pages = {108--122}, author = {Jean-Philippe Bernardy and Marc Lasson}, title = {Realizability and Parametricity in Pure Type Systems}, booktitle = {Foundations of Software Science and Computational Structures} }