Lecture notes on Structural Induction
Structural Induction is a way to prove things about tree structures. More specifically, we use structural induction to prove properties of programs that manipulate structures, such as lists and trees.
Read more in the lecture notes on structural induction (pdf).
Lecture Notes: