Pict: a programming language based on the Pi-Calculus

Benjamin C. Pierce, David N. Turner. Pict: a programming language based on the Pi-Calculus. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 455-494, The MIT Press, 2000.

Abstract

Abstract is missing.