15399, 80317/617
Constructive Logic
Lecture 11: Lambda Calculus
We investigate some properties of proof terms, including substitution and weakening. We prove a proposition called subject reduction, which states that reduction respects typing.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
