Operational subsumption, an ideal model of subtyping (2000)

by L Dami
Venue:Second Workshop on Higher-Order Operational Techniques in Semantics, volume 10 of Electronic Notes in Theoretical Computer Science