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.

[ home | schedule | assignments | languages | handouts | overview | links ]

Frank Pfenning