A Per Model of Polymorphism and Recursive Types

Gordon D. Plotkin
LICS (1990), pp. 355-365

Abstract