15-317 Constructive Logic
Recitation 3: Proof terms and Reduction
We discussed the proof terms for disjunction, including the
reduction judgement and the proof of subject reduction.
Reading:
[ Home
| Schedule
| Assignments
| Handouts
| Software
]
fp@cs
Frank Pfenning
|