Operational equivalences for untyped and polymorphic object calculi (1995)

by A D Gordon
Venue:In Higher Order Operational Techniques in Semantics