15-816 Linear Logic

Links

Linear Logic Seminar

• The Seminar on Linear Logic from Fall 1995 is a precursor of this course.

Linear Logic Home Pages

• Home page on linear logic maintained by Pat Lincoln at SRI.

Introductions to Linear Logic

• P. Lincoln. Linear logic. ACM SIGACT Notices, 23(2):29-37, Spring 1992.
• A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scientific Publishing Co., 1993.

Basic Books and References