Parametric polymorphism and operational equivalence (0)

by A M Pitts
Venue:Mathematical Structures in Computer Science