15-317 Constructive Logic
Lecture 8: Classical Computation

In this lecture we explore the correspondence between proofs in classical logic and programs. Adding contradiction and proof by contradiction to our logic leads to sophisticated control operators in our programs. We also discuss the relationship between classical logic and intuitionistic logic.


[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning