15317 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
