Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.

Lus Dominguez

Browse the full LICS paper archive.