15816 Linear Logic
Lecture 7: PiCalculus 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 picalculus.
We then show a particular encoding of the picalculus 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.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Resources
]
fp@cs
Frank Pfenning
