@article{lmcs:7354, title = {Quotients of Bounded Natural Functors}, author = {Basil Fürer and Andreas Lochbihler and Joshua Schneider and Dmitriy Traytel}, url = {https://lmcs.episciences.org/7354}, doi = {10.46298/lmcs-18(1:23)2022}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 18, Issue 1}, eid = 23, year = {2022}, month = {Feb}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Programming Languages}, }