{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:27Z","timestamp":1759638147516},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44124-4_9","type":"book-chapter","created":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T15:20:39Z","timestamp":1408461639000},"page":"151-167","source":"Crossref","is-referenced-by-count":4,"title":["Categories of Coalgebras with Monadic Homomorphisms"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,20]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic System Specification and Development","year":"1991","unstructured":"Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development. LNCS, vol. 501. Springer, Heidelberg (1991)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Casl User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): Casl User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004). (With Chapters by Mossakowski, T., Sannella, D., Tarlecki, A.)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"5006","DOI":"10.1016\/j.tcs.2011.04.024","volume":"412","author":"V Capretta","year":"2011","unstructured":"Capretta, V.: Coalgebras in functional programming and type theory. Theoret. Comput. Sci. 412, 5006\u20135024 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation, Part I: basic concepts and double pushout approach. In: [Roz97], Chap. 3, pp. 163\u2013245","DOI":"10.1142\/9789812384720_0003"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformation","year":"2002","unstructured":"Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.): Graph Transformation. Lecture Notes in Computer Science, vol. 2505. Springer, Heidelberg (2002)"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, New York (1985)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation, Part II: single pushout approach and comparison with double pushout approach. In: [Roz97], Chap. 4, pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: [PPBE04], pp. 161\u2013177","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"9_CR9","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0960129505004743","volume":"15","author":"N Ghani","year":"2005","unstructured":"Ghani, N., L\u00fcth, C., De Marchi, F.: Monads of coalgebras: rational terms and term graphs. Math. Struct. Comput. Sci. 15, 433\u2013451 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Habel, A., Plump, D.: Relabelling in graph transformation. In: [CEKR02], pp. 135\u2013147","DOI":"10.1007\/3-540-45832-8_12"},{"key":"9_CR12","unstructured":"Hagino, T.: A Categorical Programming Language. Ph.D. thesis, Edinburgh University (1987)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Heckel, R., K\u00fcster, J. M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: [CEKR02], pp. 161\u2013176","DOI":"10.1007\/3-540-45832-8_14"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-21070-9_18","volume-title":"Relational and Algebraic Methods in Computer Science","author":"W Kahl","year":"2011","unstructured":"Kahl, W.: Dependently-typed formalisation of relation-algebraic abstractions. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol. 6663, pp. 230\u2013247. Springer, Heidelberg (2011)"},{"key":"9_CR15","unstructured":"Kahl, W.: Relation-Algebraic Theories in Agda \u2013 RATH-Agda-2.0.1. Mechanically checked Agda theories available for download, with 456 pages literate document output (2014). http:\/\/RelMiCS.McMaster.ca\/RATH-Agda\/"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-87405-8_21","volume-title":"Graph Transformations","author":"B K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Towards the verification of attributed graph transformation systems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 305\u2013320. Springer, Heidelberg (2008)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0304-3975(01)00021-4","volume":"280","author":"A Kurz","year":"2002","unstructured":"Kurz, A., Hennicker, R.: On institutions for modular coalgebraic specifications. Theoret. Comput. Sci. 280, 69\u2013103 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"L\u00f6we, M.: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. Technical report 90\/05, TU Berlin (1990)","DOI":"10.1007\/3-540-53832-1_52"},{"key":"9_CR19","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Sleep, M., Plasmeijer, M., van Eekelen, M. (eds.) Term Graph Rewriting: Theory and Practice, pp. 185\u2013199. Wiley, New York (1993)"},{"key":"9_CR20","unstructured":"Norell, U.: Towards a Practical Programming Language Based on Dependent Type Theory. Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology (2007)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-15928-2_4","volume-title":"Graph Transformations","author":"F Orejas","year":"2010","unstructured":"Orejas, F., Lambers, L.: Delaying constraint solving in symbolic graph transformation. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"9_CR22","first-page":"105","volume":"11","author":"A Pardo","year":"1998","unstructured":"Pardo, A.: Monadic corecursion - definition, fusion laws and applications. ENTCS 11, 105\u2013139 (1998)","journal-title":"ENTCS"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"ICGT 2004","year":"2004","unstructured":"Parisi-Presicce, F., Bottoni, P., Engels, G. (eds.): ICGT 2004. LNCS, vol. 3256. Springer, Heidelberg (2004)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Plump, D., Steinert, S.: Towards graph programs for graph algorithms. In: [PPBE04], pp. 128\u2013143","DOI":"10.1007\/978-3-540-30203-2_11"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-03564-7_6","volume-title":"Algebraic Informatics","author":"D Plump","year":"2009","unstructured":"Plump, D.: The graph programming language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol. 5725, pp. 99\u2013122. Springer, Heidelberg (2009)"},{"key":"9_CR26","first-page":"289","volume":"44","author":"E Poll","year":"2001","unstructured":"Poll, E., Zwanenburg, J.: From algebras and coalgebras to dialgebras. ENTCS 44, 289\u2013307 (2001)","journal-title":"ENTCS"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-79709-8_39","volume-title":"Computer Science \u2013 Theory and Applications","author":"M Rebout","year":"2008","unstructured":"Rebout, M., F\u00e9raud, L., Soloviev, S.: A unified categorical approach for attributed graph rewriting. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) Computer Science \u2013 Theory and Applications. LNCS, vol. 5010, pp. 398\u2013409. Springer, Heidelberg (2008)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1. World Scientific, Singapore (1997)","DOI":"10.1142\/9789812384720"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJ Rutten","year":"2000","unstructured":"Rutten, J.J.: Universal coalgebra: a theory of systems. Theoret. Comput. Sci. 249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44124-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,15]],"date-time":"2022-04-15T01:31:11Z","timestamp":1649986271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44124-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44124-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}