Typed Normal Form Bisimulation for Parametric Polymorphism.

Sren B. Lassen, Paul Blain Levy

Browse the full LICS paper archive.