%0
Generic
%T
Relating Two Semantics of Locally Scoped Names
%A Lösch, Steffen
%A Pitts, Andrew M.
%A Steffen Lösch and Andrew M. Pitts
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K observational equivalence
%K local names
%K continuations
%K typed lambda-calculus
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik