Structural Induction
18. Structural Induction (lecture notes)
18. Structural Induction (slides)