The Chambéry-Torino school of Computer Science (Aussois, February 2003)
Notes on Laurent Regnier's lecture on Linear Logic
Compact version (13 pages):
ps
,
pdf
Slides (48 pages):
ps