Published in: LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Rasmus Ejlers Møgelberg and Maaike Annebet Zwart. What Monads Can and Cannot Do with a Bit of Extra Time. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 39:1-39:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{mgelberg_et_al:LIPIcs.CSL.2024.39, author = {M{\o}gelberg, Rasmus Ejlers and Zwart, Maaike Annebet}, title = {{What Monads Can and Cannot Do with a Bit of Extra Time}}, booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}, pages = {39:1--39:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-310-2}, ISSN = {1868-8969}, year = {2024}, volume = {288}, editor = {Murano, Aniello and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.39}, URN = {urn:nbn:de:0030-drops-196823}, doi = {10.4230/LIPIcs.CSL.2024.39}, annote = {Keywords: Delay Monad, Monad Compositions, Distributive Laws, Guarded Recursion, Type Theory} }
Published in: LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Louis Parlant, Jurriaan Rot, Alexandra Silva, and Bas Westerbaan. Preservation of Equations by Monoidal Monads. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 170, pp. 77:1-77:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{parlant_et_al:LIPIcs.MFCS.2020.77, author = {Parlant, Louis and Rot, Jurriaan and Silva, Alexandra and Westerbaan, Bas}, title = {{Preservation of Equations by Monoidal Monads}}, booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)}, pages = {77:1--77:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-159-7}, ISSN = {1868-8969}, year = {2020}, volume = {170}, editor = {Esparza, Javier and Kr\'{a}l', Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.77}, URN = {urn:nbn:de:0030-drops-127460}, doi = {10.4230/LIPIcs.MFCS.2020.77}, annote = {Keywords: monoidal monads, algebraic theories, preservation of equations} }
Published in: LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Dan Marsden and Maaike Zwart. Quantitative Foundations for Resource Theories. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 119, pp. 32:1-32:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{marsden_et_al:LIPIcs.CSL.2018.32, author = {Marsden, Dan and Zwart, Maaike}, title = {{Quantitative Foundations for Resource Theories}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {32:1--32:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-088-0}, ISSN = {1868-8969}, year = {2018}, volume = {119}, editor = {Ghica, Dan R. and Jung, Achim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.32}, URN = {urn:nbn:de:0030-drops-96996}, doi = {10.4230/LIPIcs.CSL.2018.32}, annote = {Keywords: Resource Theory, Enriched Category, Profunctor, Monad, Combinatorial Species, Multicategory, Operad, Bimodule} }
Feedback for Dagstuhl Publishing