A bisimulation for type abstraction and recursion.

Eijiro Sumii Benjamin C. Pierce A bisimulation for type abstraction and recursion. 63-74 2005 conf/popl/2005 POPL http://doi.acm.org/10.1145/1040305.1040311 db/conf/popl/popl2005.html#SumiiP05