Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science, 10:321–359, 2000. A preliminary version appeared (1997)

by A M Pitts
Venue:in Proceedings, Second Workshop on Higher Order Operational Techniques in Semantics (HOOTS