Pict: A programming language based on the picalculus (2000)

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