Indexed Induction and Coinduction, Fibrationally.

Clment Fumex, Neil Ghani, Patricia Johann

Browse the full CALCO paper archive.