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

by Benjamin C. Pierce , David N. Turner
Venue:PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER
Citations:278 - 9 self