{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T11:40:38Z","timestamp":1789904438892,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496299","type":"print"},{"value":"9783662496305","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49630-5_30","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T05:04:32Z","timestamp":1458536672000},"page":"513-530","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Towards a Formal Theory of Graded Monads"],"prefix":"10.1007","author":[{"given":"Soichiro","family":"Fujii","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul-Andr\u00e9","family":"Melli\u00e8s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Bakovi\u0107, I.: Fibrations of bicategories. Available on the ArXiV"},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0074298","volume-title":"Reports of the Midwest Category Seminar","author":"Jean B\u00e9nabou","year":"1967","unstructured":"B\u00e9nabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar. Lecture Notes in Mathematics, vol. 47, pp. 1\u201377. Springer, Heidelberg (1967)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"2029","DOI":"10.1016\/j.jpaa.2012.02.039","volume":"216","author":"C Berger","year":"2012","unstructured":"Berger, C., Melli\u00e8s, P.-A., Weber, M.: Monads with arities and their associated theories. J. Pure Appl. Algebra 216, 2029\u20132048 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-31485-8_3","volume-title":"Lectures on Logic and Computation","author":"U Dal Lago","year":"2012","unstructured":"Dal Lago, U.: A short introduction to implicit computational complexity. In: Bezhanishvili, N., Goranko, V. (eds.) ESSLLI 2010 and ESSLLI 2011. LNCS, vol. 7388, pp. 89\u2013109. Springer, Heidelberg (2012)"},{"issue":"4","key":"30_CR5","doi-asserted-by":"crossref","first-page":"12","DOI":"10.2168\/LMCS-8(4:11)2012","volume":"8","author":"U Lago Dal","year":"2012","unstructured":"Dal Lago, U., Gaboardi, M.: Linear dependent types and relative completeness. Log. Meth. Comput. Sci. 8(4), 12 (2012)","journal-title":"Log. Meth. Comput. Sci."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Grellois, C., Melli\u00e8s, P.-A.: Relational semantics of linear logic, higher-order model checking. In: Proceedings of CSL 2015, pp. 260\u2013276 (2015)","DOI":"10.1007\/978-3-662-48057-1_20"},{"issue":"5\u20136","key":"30_CR7","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1023\/B:APCS.0000049311.17100.da","volume":"12","author":"C Hermida","year":"2004","unstructured":"Hermida, C.: Descent on 2-fibrations and strongly 2-regular 2-categories. Appl. Categorical Struct. 12(5\u20136), 427\u2013459 (2004)","journal-title":"Appl. Categorical Struct."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Katsumata, S.-y.: Parametric effect monads and semantics of effect systems. In: Proceedings of POPL 2014, pp. 633\u2013645. ACM (2014)","DOI":"10.1145\/2535838.2535846"},{"key":"30_CR9","unstructured":"Melli\u00e8s, P.-A.: Towards an algebra of duality. Talk given during the workshop Linear Logic, Ludics, Implicit Complexity, Operator Algebras, dedicated to Jean-Yves Girard on the occasion of his 60th birthday, May 2007"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Melli\u00e8s, P.-A.: Game semantics in string diagrams. In: Proceedings of Logic In Computer Science, LICS, Dubrovnik (2012)","DOI":"10.1109\/LICS.2012.58"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Melli\u00e8s, P.-A.: Segal condition meets computational effects. LICS (2010)","DOI":"10.1109\/LICS.2010.46"},{"key":"30_CR12","unstructured":"Melli\u00e8s, P.-A.: Sharing and duplication in tensorial logic. Invited talk at the 4th International workshop on Developments in Implicit Computational complexity (DICE), Rome, March 2013"},{"key":"30_CR13","unstructured":"Melli\u00e8s, P.-A.: Parametric monads and enriched adjunctions. Syntax and Semantics of Low Level Languages, LOLA, Dubrovnik. Manuscript available on the author\u2019s webpage (2012)"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-319-08918-8_23","volume-title":"Rewriting and Typed Lambda Calculi","author":"P-A Melli\u00e8s","year":"2014","unstructured":"Melli\u00e8s, P.-A.: Local states in string diagrams. In: Dowek, G. (ed.) RTA-TLCA 2014. LNCS, vol. 8560, pp. 334\u2013348. Springer, Heidelberg (2014)"},{"key":"30_CR15","unstructured":"Melli\u00e9s, P.-A.: The parametric continuation monad. Festschrift in honor of Corrado B\u00f6hm for his 90th birthday. Mathematical Structures in Computer Science (2016)"},{"key":"30_CR16","unstructured":"Milius, S., Pattinson, D., Schr\u00f6der, L.: Generic trace semantics and graded monads. Calco (2015)"},{"key":"30_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/978-3-642-39212-2_35","volume-title":"Automata, Languages, and Programming","author":"T Petricek","year":"2013","unstructured":"Petricek, T., Orchard, D., Mycroft, A.: Coeffects: unified static analysis of context-dependence. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 385\u2013397. Springer, Heidelberg (2013)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Plotkin, G., Power, J.: Computational effects determine monads. In: Proceedings of FoSSaCS, Grenoble (2002)","DOI":"10.1007\/3-540-45931-6_24"},{"issue":"3","key":"30_CR19","doi-asserted-by":"publisher","first-page":"3032","DOI":"10.1007\/s10958-008-9013-7","volume":"151","author":"A Smirnov","year":"2008","unstructured":"Smirnov, A.: Graded monads and rings of polynomials. J. Math. Sci. 151(3), 3032\u20133051 (2008)","journal-title":"J. Math. Sci."},{"key":"30_CR20","first-page":"217","volume":"13","author":"R Street","year":"1972","unstructured":"Street, R.: Two constructions on lax functors. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle 13, 217\u2013264 (1972)","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle"},{"issue":"2","key":"30_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R Street","year":"1972","unstructured":"Street, R.: The formal theory of monads. J. Pure Appl. Algebra 2(2), 149\u2013168 (1972)","journal-title":"J. Pure Appl. Algebra"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49630-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:08:54Z","timestamp":1584997734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49630-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496299","9783662496305"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49630-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}