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

by A M Pitts
Venue:in HOOTS II Second Workshop on Higher-Order Operational Techniques in Semantics, Electronic Notes in Theoretical Computer Science