@article{lmcs:1578, title = {Presenting Distributive Laws}, author = {Marcello M. Bonsangue and Helle Hvid Hansen and Alexander Kurz and Jurriaan Rot}, url = {https://lmcs.episciences.org/1578}, doi = {10.2168/LMCS-11(3:2)2015}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 11, Issue 3}, eid = 2, year = {2015}, month = {Aug}, keywords = {Computer Science - Logic in Computer Science}, }