Turner, David N, "The Polymorphic Pi-Calculus: Theory and Implications" PhD Thesis Edinburgh 1995
(1995)
Languages mentioned
Pi Calculus
{1991}
PICT
{1991}