"Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order ..."

Cinzia Di Giusto, Jorge A. Pérez (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics