λ-Calculus, Multiplicities, and the π-Calculus | part of Proof, Language, and Interaction: Essays in Honour of Robin Milner | MIT Press books | IEEE Xplore