{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T00:23:05Z","timestamp":1787530985664,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319893655","type":"print"},{"value":"9783319893662","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89366-2_6","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T19:52:34Z","timestamp":1523649154000},"page":"110-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A Double Category Theoretic Analysis of Graded Linear Exponential Comonads"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-56992-8_6","volume-title":"Computer Science Logic","author":"N Benton","year":"1993","unstructured":"Benton, N., Bierman, G., de Paiva, V., Hyland, M.: Linear $$\\lambda $$\u03bb-calculus and categorical models revisited. In: B\u00f6rger, E., J\u00e4ger, G., Kleine B\u00fcning, H., Martini, S., Richter, M.M. (eds.) CSL 1992. LNCS, vol. 702, pp. 61\u201384. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56992-8_6"},{"key":"6_CR2","unstructured":"Breuvart, F., Pagani, M.: Modelling coeffects in the relational semantics of linear logic. In: Kreutzer, S. (ed.) 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, 7\u201310 September 2015, Berlin, Germany, vol. 41. LIPIcs, pp. 567\u2013581. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-54833-8_19","volume-title":"Programming Languages and Systems","author":"Alo\u00efs Brunel","year":"2014","unstructured":"Brunel, A., Gaboardi, M., Mazza, D., Zdancewic, S.: A core quantitative coeffect calculus. In: Shao [24], pp. 351\u2013370"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-11957-6_12","volume-title":"Programming Languages and Systems","author":"U Lago Dal","year":"2010","unstructured":"Dal Lago, U., Sch\u00f6pp, U.: Functional programming in sublinear space. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 205\u2013225. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11957-6_12"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"de Amorim, A.A., Gaboardi, M., Hsu, J., Katsumata, S., Cherigui, I.: A semantic account of metric preservation. In: Castagna, G., Gordon, A.D. (eds.) Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 18\u201320 January 2017, pp. 545\u2013556. ACM (2017)","DOI":"10.1145\/3009837.3009890"},{"key":"6_CR6","unstructured":"Durov, N.: New approach to Arakelov geometry. arXiv: 0704.2030 v1 [math AG], April 2008"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Gaboardi, M., Katsumata, S.-Y., Orchard, D.A., Breuvart, F., Uustalu, T.: Combining effects and coeffects via grading. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, 18\u201322 September 2016, pp. 476\u2013489. ACM (2016)","DOI":"10.1145\/2951913.2951939"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-54833-8_18","volume-title":"Programming Languages and Systems","author":"Dan R. Ghica","year":"2014","unstructured":"Ghica, D.R., Smith, A.I.: Bounded linear types in a resource semiring. In: Shao [24], pp. 331\u2013350"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"Jean-Yves Girard","year":"1992","unstructured":"Girard, J.-Y., Scedrov, A., Scott, P.J.: Bounded linear logic: a modular approach to polynomial-time computability. Theoret. Comput. Sci. 97(1), 1\u201366 (1992)","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","unstructured":"Grandis, M., Par\u00e9, R.: Adjoint for double categories. Cahiers de Topologie et Gomtrie Diffrentielle Catgoriques 45(3), 193\u2013240 (2004)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hyland, M., Power, J.: Pseudo-commutative monads and pseudo-closed 2-categories. J. Pure Appl. Algebra 175(1), 141\u2013185 (2002). Special Volume celebrating the 70th birthday of Professor Max Kelly","DOI":"10.1016\/S0022-4049(02)00133-0"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5","volume-title":"Foundations of Software Science and Computation Structures","year":"2016","unstructured":"Jacobs, B., L\u00f6ding, C. (eds.): FoSSaCS 2016. LNCS, vol. 9634. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49630-5"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Katsumata, S.: Parametric effect monads and semantics of effect systems. In: Jagannathan, S., Sewell, P. (eds.) The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, USA, 20\u201321 January 2014, pp. 633\u2013646. ACM (2014)","DOI":"10.1145\/2535838.2535846"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lago, U.D., Gaboardi, M.: Linear dependent types and relative completeness. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp. 133\u2013142, June 2011","DOI":"10.1109\/LICS.2011.22"},{"key":"6_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BFb0059555","volume-title":"Coherence in Categories","author":"ML Laplaza","year":"1972","unstructured":"Laplaza, M.L.: Coherence for distributivity. In: Kelly, G.M., Laplaza, M., Lewis, G., Mac Lane, S. (eds.) Coherence in Categories. LNM, vol. 281, pp. 29\u201365. Springer, Heidelberg (1972). https:\/\/doi.org\/10.1007\/BFb0059555"},{"key":"6_CR16","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. GTM, vol. 5. Springer, New York (1978). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"6_CR17","unstructured":"Melli\u00e8s, P.-A.: Categorical semantics of linear logic. In: Interactive Models of Computation and Program Behaviour, vol. 27. Panoramas et synthses. Soci\u00e9t\u00e9 Math\u00e9matique de France (2009)"},{"issue":"5","key":"6_CR18","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1017\/S0960129515000328","volume":"27","author":"P-A Melli\u00e8s","year":"2017","unstructured":"Melli\u00e8s, P.-A.: The parametric continuation monad. Math. Struct. Comput. Sci. 27(5), 651\u2013680 (2017)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR19","unstructured":"Milius, S., Pattinson, D., Schr\u00f6der, L.: Generic trace semantics and graded monads. In: Moss, L.S., Sobocinski, P. (eds.) 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, 24\u201326 June 2015, Nijmegen, The Netherlands, vol. 35. LIPIcs, pp. 253\u2013269. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. LNCS, vol. 7966, pp. 385\u2013397. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39212-2_35"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Reed, J., Pierce, B.C.: Distance makes the types grow stronger: a calculus for differential privacy. In: Hudak, P., Weirich, S. (eds.) Proceeding of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, 27\u201329 September 2010, pp. 157\u2013168. ACM (2010)","DOI":"10.1145\/1863543.1863568"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.entcs.2016.09.043","volume":"325","author":"T Sato","year":"2016","unstructured":"Sato, T.: Approximate relational Hoare logic for continuous random samplings. Electr. Notes Theor. Comput. Sci. 325, 277\u2013298 (2016)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25318-8_23","volume-title":"Programming Languages and Systems","author":"U Sch\u00f6pp","year":"2011","unstructured":"Sch\u00f6pp, U.: Computation-by-interaction with effects. In: Yang, H. (ed.) APLAS 2011. LNCS, vol. 7078, pp. 305\u2013321. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25318-8_23"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8","volume-title":"Programming Languages and Systems","year":"2014","unstructured":"Shao, Z. (ed.): ESOP 2014. LNCS, vol. 8410. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54833-8"},{"issue":"3","key":"6_CR25","doi-asserted-by":"publisher","first-page":"3032","DOI":"10.1007\/s10958-008-9013-7","volume":"151","author":"AL Smirnov","year":"2008","unstructured":"Smirnov, A.L.: Graded monads and rings of polynomials. J. Math. Sci. 151(3), 3032\u20133051 (2008)","journal-title":"J. Math. Sci."},{"key":"6_CR26","unstructured":"Street, R.: Two constructions on lax functors. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques (1972)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89366-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T16:21:14Z","timestamp":1571156474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89366-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893655","9783319893662"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89366-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}