The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus

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.

Abstract

Abstract is missing.