Reading material
Pages 6-9 of Pict: A Programming Language Based on the Pi-Calculus1
1
- 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
printer.pi
stringlist.pi