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]

Authors

Basil Fürer

This author has not been identified. Look up 'Basil Fürer' in Google

Andreas Lochbihler

This author has not been identified. Look up 'Andreas Lochbihler' in Google

Joshua Schneider 0001

This author has not been identified. Look up 'Joshua Schneider 0001' in Google

Dmitriy Traytel

This author has not been identified. Look up 'Dmitriy Traytel' in Google