Relational interpretations of recursive types (1999)

by L Birkedal, R Harper
Venue:in an operational setting, Information and Computation 155