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

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