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

by C Pierce, David N Turner
Venue:Proof, Language and Interaction: Essays in Honour of Robin Milner