15-816 Modal Logic
Lecture 4: Computational Interpretations of Modalities

In this lecture we relate necessity to source expressions and explicitly staged computation. We also introduce possibility and its interpretation in terms of computational effects.


[ Home | Schedule | Assignments | Projects | Handouts | Resources ]

fp@cs, aplatzer@cs
Frank Pfenning, André Platzer