Operational equivalences for untyped and polymorphic object calculi (1998)

by A D Gordon
Venue:Higher Order Operational Techniques in Semantics, Publications of the Newton Institute