15-399, 80-317/617
Constructive Logic
Lecture 24: Structural Induction
Following the discussion of mathematical induction, we now discuss
structural induction over data types such as lists or trees. As for
natural numbers, induction is related to primitive recursion by program
extraction. We also talk about some strategies for generalizing the
induction hypothesis.
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
|