"A Logical Interpretation of the λ-Calculus into the π-Calculus, ..."

Steffen van Bakel, Maria Grazia Vigliotti (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics