A Bisimulation for Type Abstraction and Recursion · 43 (2000)

by B C Pierce, D Sangiorgi