Normal form bisimulation for parametric polymorphism (2008)

by Soren B Lassen, Paul B Levy
Venue:In LICS