15-816 Linear Logic
Handouts

Lecture handouts are listed on the schedule page; this page contains additional handouts and reference papers. Some external papers may be accessible to course participants only.