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

by Lars Birkedal , Robert Harper
Venue:Information and Computation
Citations:34 - 3 self