Parametric polymorphism and operational equivalence (2000)

by A D Pitts
Venue:Math. Structures Comput. Sci