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

by Giuseppe Longo , Kathleen Milsted , Sergei Soloviev , Kathleen Milsted
Venue:Theoretical Computer Science
Citations:14 - 5 self