Coinduction up-to in a fibrational setting.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Browse the full CSL paper archive.