@article{Hermida_2014,
    doi = {10.1016/j.entcs.2014.02.008},
    url = {https://doi.org/10.1016%2Fj.entcs.2014.02.008},
    year = {2014},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {303},
    pages = {149--180},
    author = {Claudio Hermida and Uday S. Reddy and Edmund P. Robinson},
    title = {Logical Relations and Parametricity {\textendash} A Reynolds Programme for Category Theory and Programming Languages},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Hermida_2014, doi = {10.1016/j.entcs.2014.02.008}, url = {https://doi.org/10.1016%2Fj.entcs.2014.02.008}, year = {2014}, month = {mar}, publisher = {Elsevier {BV}}, volume = {303}, pages = {149--180}, author = {Claudio Hermida and Uday S. Reddy and Edmund P. Robinson}, title = {Logical Relations and Parametricity {\textendash} A Reynolds Programme for Category Theory and Programming Languages}, journal = {Electronic Notes in Theoretical Computer Science} }