Lambda-calculus, Multiplicities, and the Pi-calculus