Reasoning about contextual equivalence: From untyped to polymorphically typed Calculi

Sabel, David; Schmidt-Schauß, Manfred; Harwath, Frederik (2009): Reasoning about contextual equivalence: From untyped to polymorphically typed Calculi. Informatik 2009 – Im Focus das Leben. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-248-2. pp. 369-369. Regular Research Papers. Lübeck. 28.9.-2.10.2009