Relational interpretations of recursive types in an operational setting (1999)

by Lars Birkedal, Robert Harper
Venue:Summary appeared in Theoretical Aspects of Computer Software, Lecture Notes in Computer Science