Roberto Bellucci Martín Abadi Pierre-Louis Curien A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. 32-46 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#BellucciAC95