Luddy School of Informatics, Computing, and Engineering
Technical Report TR476:
Pict: A Programming Language Based on the Pi-Calculus
Benjamin C. Pierce and David N. Turner
(Mar 1997), 26 pages pages
The abstact is not available. Please see the full paper.
Sorry, no electronic version of this paper is currently available. See
The Trustees of