Quotients of Bounded Natural Functors

Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel. Quotients of Bounded Natural Functors. Logical Methods in Computer Science, 18(1), 2022. [doi]

Abstract

Abstract is missing.