Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus | IEEE Conference Publication | IEEE Xplore