====== Structural Induction ======

{{:aa:strind.pdf|18. Structural Induction (lecture notes)}}

{{:aa:structural-induction.pdf|18. Structural Induction (slides)}}