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

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