{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T11:42:53Z","timestamp":1784720573506,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394808","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"604-618","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Interaction Laws of Monads and Comonads"],"prefix":"10.1145","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Exequiel","family":"Rivas","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik, Iceland, Tallinn University of Technology, Tallinn, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275407"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1090\/crmm\/029\/04"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.10.003"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of 19th Int. Wksh. on Types for Proofs and Programs, TYPES 2013, Ralph Matthes and Aleksy Schubert (Eds.). Leibniz Int. Proc. in Informatics","volume":"26","author":"Ahman Danel","year":"2014"},{"key":"e_1_3_2_1_7_1","first-page":"10","article-title":"The Chu Construction: History of an Idea","volume":"17","author":"Barr Michael","year":"2006","journal-title":"Theory Appl. Categ."},{"key":"e_1_3_2_1_8_1","unstructured":"Andrej Bauer. 2018. What Is Algebraic about Algebraic Effects and Handlers? arXiv preprint 1807.05923. https:\/\/arxiv.org\/abs\/1807.05923  Andrej Bauer. 2018. What Is Algebraic about Algebraic Effects and Handlers? arXiv preprint 1807.05923. https:\/\/arxiv.org\/abs\/1807.05923"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44755-5_11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90035-R"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Mathematics","volume-title":"Reports of the Midwest Category Seminar IV, Saunders Mac Lane (Ed.)","author":"Day Brian"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2015.09.003"},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Programming Interfaces and Basic","volume":"137","author":"Hancock Peter","year":"2006","journal-title":"Topology. Ann. Pure Appl. Logic"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48959-2_15"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms.12064"},{"key":"e_1_3_2_1_19_1","first-page":"254","article-title":"Combining Effects","volume":"364","author":"Hyland Martin","year":"2006","journal-title":"Sum and Tensor. Theor. Comput. Sci."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00241-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.011"},{"key":"e_1_3_2_1_22_1","unstructured":"Shin-ya Katsumata Exequiel Rivas and Tarmo Uustalu. 2019. Interaction Laws of Monads and Comonads. arXiv eprint arXiv:1912.13477. https:\/\/arxiv.org\/abs\/1912.13477  Shin-ya Katsumata Exequiel Rivas and Tarmo Uustalu. 2019. Interaction Laws of Monads and Comonads. arXiv eprint arXiv:1912.13477. https:\/\/arxiv.org\/abs\/1912.13477"},{"key":"e_1_3_2_1_23_1","unstructured":"Fosco Loregian. 2015. This Is the (Co)end My Only (Co)friend. arXiv preprint 1501.02503. https:\/\/arxiv.org\/abs\/1501.02503  Fosco Loregian. 2015. This Is the (Co)end My Only (Co)friend. arXiv preprint 1501.02503. https:\/\/arxiv.org\/abs\/1501.02503"},{"key":"e_1_3_2_1_24_1","volume-title":"Graduate Texts in Mathematics","volume":"5","author":"Lane Saunders Mac","year":"1978"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Rasmus Ejlers M\u00f8gelberg and Sam Staton. 2014. Linear Usage of State. Log. Methods Comput. Sci. 10 1 Article 17 (2014) 52 pages. https:\/\/doi.org\/10.2168\/lmcs-10(1:17)2014  Rasmus Ejlers M\u00f8gelberg and Sam Staton. 2014. Linear Usage of State. Log. Methods Comput. Sci. 10 1 Article 17 (2014) 52 pages. https:\/\/doi.org\/10.2168\/lmcs-10(1:17)2014","DOI":"10.2168\/LMCS-10(1:17)2014"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"e_1_3_2_1_27_1","unstructured":"Frank Joseph Oles. 1982. A Category-Theoretic Approach to the Semantics of Programming Languages. Ph.D. Dissertation. Syracuse University. http:\/\/www.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/fox-19\/member\/jcr\/www\/FrankOlesThesis.pdf  Frank Joseph Oles. 1982. A Category-Theoretic Approach to the Semantics of Programming Languages. Ph.D. Dissertation. Syracuse University. http:\/\/www.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/fox-19\/member\/jcr\/www\/FrankOlesThesis.pdf"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.019"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002046"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45931-6_24"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.10.018"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Gordon D. Plotkin and Matija Pretnar. 2013. Handling Algebraic Effects. Log. Methods Comput. Sci. 9 4 Article 23 (2013) 36 pages. https:\/\/doi.org\/10.2168\/lmcs-9(4:23)2013  Gordon D. Plotkin and Matija Pretnar. 2013. Handling Algebraic Effects. Log. Methods Comput. Sci. 9 4 Article 23 (2013) 36 pages. https:\/\/doi.org\/10.2168\/lmcs-9(4:23)2013","DOI":"10.2168\/LMCS-9(4:23)2013"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Hans-E. Porst. 2018. Hopf Monoids in Varieties. Algebra Universalis 79 Article 18 (2018) 28 pages. https:\/\/doi.org\/10.1007\/s00012-018-0500-5  Hans-E. Porst. 2018. Hopf Monoids in Varieties. Algebra Universalis 79 Article 18 (2018) 28 pages. https:\/\/doi.org\/10.1007\/s00012-018-0500-5","DOI":"10.1007\/s00012-018-0500-5"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-016-9450-2"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.041"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Exequiel Rivas and Mauro Jaskelioff. 2017. Notions of Computation as Monoids. J. Funct. Program. 27 Article e21 (2017) 42 pages. https:\/\/doi.org\/10.1017\/s0956796817000132  Exequiel Rivas and Mauro Jaskelioff. 2017. Notions of Computation as Monoids. J. Funct. Program. 27 Article e21 (2017) 42 pages. https:\/\/doi.org\/10.1017\/s0956796817000132","DOI":"10.1017\/S0956796817000132"},{"key":"e_1_3_2_1_38_1","unstructured":"Moss E. Sweedler. 1969. Hopf Algebras. W. A. Benjamin New York.  Moss E. Sweedler. 1969. Hopf Algebras. W. A. Benjamin New York."},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. of 21th Int. Conf. on Concurrency Theory, CONCUR 2010, Paul Gastin and Fran\u00e7ois Laroussinie (Eds.). Lect. Notes in Comput. Sci.","volume":"6269","author":"Toninho Bernardo","year":"2010"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2003022"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.024"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364568"}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Saarbr\u00fccken Germany","acronym":"LICS '20","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:46Z","timestamp":1750200106000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":41,"alternative-id":["10.1145\/3373718.3394808","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394808","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}