15-816 Linear Logic
Lecture 7: Pi-Calculus in Linear Logic

We begin with a discussion of quantifiers and parametric judgments, a notion we have neglected so far, but will be necessary to understand the notion of name in the pi-calculus.

We then show a particular encoding of the pi-calculus that exploits many features of linear logic. We will exhibit a few points on which this encoding is not completely faithful to Milner's formulation and indicate how these differences may be reconciled.