2005-08-01 Linear Logic Handouts linear-logic Frank Pfenning 168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf