Bisimilarity for a First-Order Calculus of Objects with Subtyping.

Andrew D. Gordon, Gareth D. Rees

Browse the full POPL paper archive.