A Typed Higher-Order Programming Language Based on the Pi-Calculus
Benjamin C. Pierce, Didier Rémy, David N. Turner · Institutional Repositories DataBase (IRDB) · 1993
The $\pi$ -calculus offers an attractive basis for concurrent programming languages.It is smal, elegant, and well understood, and it supports, via simpk encodings,a wide range of high-level constructs such as structured data, higher-order programming, concurrent control structures, and objects.Moreover, familiar type systems for the $\lambda$ -calculus have direct counterparts in the $\pi$ -calculus, yielding strong, static typing for high-level languages defined in this way.