The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) Giuseppe Longo Kathleen Milsted Sergei Soloviev 6-14 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#LongoMS93