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

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Browse the full LICS paper archive.