Fibrational Induction Rules for Initial Algebras.

Neil Ghani, Patricia Johann, Clment Fumex

Browse the full CSL paper archive.