Complete Sequent Calculi for Induction and Infinite Descent.

James Brotherston, Alex Simpson

Browse the full LICS paper archive.