15399 Constructive Logic
Lecture 15: 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
]
fp@cs
Frank Pfenning
