The λ-calculus in the π-calculus