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.
No references recorded for this publication.
No citations of this publication recorded.