Reading material

¹

• Benjamin C. Pierce and David N. Turner. Pict: A Programming Language Based on the Pi-Calculus. CSCI Technical Report #476, Indiana University, 1997.

Additional material

To compile the Pict program boolean.pi use

    pict -o boolean boolean.pi

    ./boolean