@inproceedings{ZwartMarsden2019, title = "No-Go Theorems for Distributive Laws", author = "Maaike Zwart and Dan Marsden", year = "2019", booktitle = "34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019", isbn = "978-1-7281-3608-0", pages = "1--13", publisher = "{IEEE}", url = "https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding", doi = "10.1109/LICS.2019.8785707", }