A bisimulation for type abstraction and recursion (2005)

by Eijiro Sumii , Benjamin C. Pierce
Venue:SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:46 - 4 self