Quotients of Bounded Natural Functors.

Basil Frer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel

Browse the full CADE paper archive.