Pict: A programming language based on the pi-calculus (1997)

by B C Pierce, D N Turner
Venue:Indiana University