15-317 Constructive Logic
Lecture 10: Computational Meaning of Classical Logic

In this lecture we finish the discussion of classical propositional logic by presenting a computational interpretation for classical proofs. This uses the programming language concept of a continuation.


[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning