A bisimulation for type abstraction and recursion (2005)

by Eijiro Sumii, Benjamin C. Pierce
Venue:SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES