@inproceedings{mci/Sabel2009,
author = {Sabel, David AND Schmidt-Schauß, Manfred AND Harwath, Frederik},
title = {Reasoning about contextual equivalence: From untyped to polymorphically typed Calculi},
booktitle = {Informatik 2009 – Im Focus das Leben},
year = {2009},
editor = {Fischer, Stefan AND Maehle, Erik AND Reischuk, Rüdiger} ,
pages = { 369-369 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}