15-317 Constructive Logic
Recitation 4: Proof terms, Reduction and Expansion

We discussed the solutions for the local soundness/completeness problem on Homework 1, and more examples of proof terms and reduction and expansion.

Reading:

• Homework 1 Solutions

[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning