An Algebraic View of Structural Induction.

Claudio Hermida, Bart Jacobs

Browse the full CSL paper archive.