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

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