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
|