A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.

Steffen van Bakel, Maria Grazia Vigliotti

Browse the full CONCUR paper archive.