15-816 Linear Logic

Lecture 16: Negation and Non-Termination

After examining further examples of lazy and eager datatypes and simple programs over them, we consider how non-termination may be captured within the functional language. This will lead us to a consideration of negation and the "why not" modality, written as ?A.

• Next: Lecture 17: Classical Linear Logic
• Previous: Lecture 15: Recursive Types
• Schedule