CS 358 Spring 1995 Linear Logic and Games

• Course Overview.
• Calendar
• Lecture topics and suggested reading
• Additional reference material
• Archive at SRI
• Related class by Frank Pfenning and CMU.