A bisimulation for type abstraction and recursion (2005)

by Eijiro Sumii, Benjamin C Pierce
Venue:In POPL ’05