15399 Constructive Logic
Lecture 17: Complete Induction
We introduce the proof principle of complete induction (also known
as courseofvalues induction) and verify its correctness. We apply
it in a concrete example, and also investigate the computational
contents of the correctness proof for complete induction.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
fp@cs
Frank Pfenning
