Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theoretical Computer Science, 121(1&2):323-349, 1993.
@article{LongoMS93:0, title = {The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus}, author = {Giuseppe Longo and Kathleen Milsted and Sergei Soloviev}, year = {1993}, researchr = {https://researchr.org/publication/LongoMS93%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {121}, number = {1&2}, pages = {323-349}, }