TY -
GEN
AU - Lösch, Steffen
AU - Pitts, Andrew M.
AU - Steffen Lösch and Andrew M. Pitts
TI -
Relating Two Semantics of Locally Scoped Names
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - observational equivalence
KW - local names
KW - continuations
KW - typed lambda-calculus
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -