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:13 - 5 self