Strong Induction Is an Up-To Technique.

Filippo Bonchi, Elena Di Lavore, Anna Ricci

Browse the full CSL paper archive.