Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi.

David Sabel, Manfred Schmidt-Schau, Frederik Harwath

Browse the full GI paper archive.