Pict: A Programming Language Based on the Pi-Calculus (2000)

by Benjamin Pierce, David Turner
Venue:Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing