Indiana University Bloomington

School of Informatics and Computing

Technical Report TR476:
Pict: A Programming Language Based on the Pi-Calculus

Benjamin C. Pierce and David N. Turner
(Mar 1997), 26 pages
Abstract:
The abstact is not available. Please see the full paper.

Available as: