{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:33Z","timestamp":1725538173405},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037405"},{"type":"electronic","value":"9783642037412"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03741-2_6","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:20:01Z","timestamp":1252938001000},"page":"64-80","source":"Crossref","is-referenced-by-count":5,"title":["Coalgebraic Components in a Many-Sorted Microcosm"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/aima.1997.1695","volume":"135","author":"J.C. Baez","year":"1998","unstructured":"Baez, J.C., Dolan, J.: Higher dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math.\u00a0135, 145\u2013206 (1998)","journal-title":"Adv. Math."},{"issue":"8","key":"6_CR2","first-page":"891","volume":"9","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a calculus of state-based software components. Journ. of Universal Comp. Sci.\u00a09(8), 891\u2013909 (2003)","journal-title":"Journ. of Universal Comp. Sci."},{"key":"6_CR3","unstructured":"Barbosa, L.: Components as Coalgebras. PhD thesis, Univ. Minho (2001)"},{"key":"6_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985)"},{"key":"6_CR5","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn., Centre de recherches math\u00e9matiques, Universit\u00e9 de Montr\u00e9al (1999)"},{"key":"6_CR6","unstructured":"B\u00e9nabou, J.: Distributors at work. Lecture notes by Thomas Streicher (2000), www.mathematik.tu-darmstadt.de\/~streicher\/FIBR\/DiWo.pdf.gz"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","volume":"59","author":"R. Blackwell","year":"1989","unstructured":"Blackwell, R., Kelly, G., Power, A.: Two-dimensional monad theory. Journ. of Pure & Appl. Algebra\u00a059, 1\u201341 (1989)","journal-title":"Journ. of Pure & Appl. Algebra"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-78499-9_17","volume-title":"Foundations of Software Science and Computational Structures","author":"M.M. Bonsangue","year":"2008","unstructured":"Bonsangue, M.M., Rutten, J., Silva, A.: Coalgebraic logic and synthesis of Mealy machines. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 231\u2013245. Springer, Heidelberg (2008)"},{"key":"6_CR9","series-title":"Encyclopedia of Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525865","volume-title":"Handbook of Categorical Algebra","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics, vol.\u00a050, 51 and 52. Cambridge University Press, Cambridge (1994)"},{"key":"6_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/9781315273686","volume-title":"Universal Algebra and Applications in Theoretical Computer Science","author":"K. Denecke","year":"2002","unstructured":"Denecke, K., Wismath, S.L.: Universal Algebra and Applications in Theoretical Computer Science. Chapman and Hall, Boca Raton (2002)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Fiore, T.M.: Pseudo limits, biadjoints, and pseudo algebras: Categorical foundations of conformal field theory. Memoirs of the AMS\u00a0182 (2006)","DOI":"10.1090\/memo\/0860"},{"key":"6_CR12","unstructured":"Hasuo, I.: Pseudo functorial semantics (preprint), www.kurims.kyoto-u.ac.jp\/~ichiro"},{"key":"6_CR13","unstructured":"Hasuo, I.: Tracing Anonymity with Coalgebras. PhD thesis, Radboud University Nijmegen (2008)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-78499-9_18","volume-title":"Foundations of Software Science and Computational Structures","author":"I. Hasuo","year":"2008","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: The microcosm principle and concurrency in coalgebra. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 246\u2013260. Springer, Heidelberg (2008)"},{"issue":"1\u20133","key":"6_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Science of Comput. Progr.\u00a037(1\u20133), 67\u2013111 (2000)","journal-title":"Science of Comput. Progr."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.entcs.2007.02.019","volume":"172","author":"M. Hyland","year":"2007","unstructured":"Hyland, M., Power, J.: The category theoretic understanding of universal algebra: Lawvere theories and monads. Elect. Notes in Theor. Comp. Sci.\u00a0172, 437\u2013458 (2007)","journal-title":"Elect. Notes in Theor. Comp. Sci."},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","volume":"69","author":"B. Jacobs","year":"1994","unstructured":"Jacobs, B.: Semantics of weakening and contraction. Ann. Pure & Appl. Logic\u00a069(1), 73\u2013106 (1994)","journal-title":"Ann. Pure & Appl. Logic"},{"key":"6_CR18","volume-title":"Categorical Logic and Type Theory","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. North-Holland, Amsterdam (1999)"},{"key":"6_CR19","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.J.M.M.: A tutorial on (co)algebras and (co)induction. EATCS Bulletin\u00a062, 222\u2013259 (1997)","journal-title":"EATCS Bulletin"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Heunen, C., Hasuo, I.: Categorical semantics for arrows. Journ. Funct. Progr. (to appear, 2009)","DOI":"10.1017\/S0956796809007308"},{"key":"6_CR21","unstructured":"Lack, S., Power, J.: Lawvere 2-theories. Presented at CT 2007 (2007), www.mat.uc.pt\/~categ\/ct2007\/slides\/lack.pdf"},{"key":"#cr-split#-6_CR22.1","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories. PhD thesis, Columbia University, 1???121 (1963);","DOI":"10.1073\/pnas.50.5.869"},{"key":"#cr-split#-6_CR22.2","unstructured":"Reprints in Theory and Applications of Categories, 5 (2004)"},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/S0890-5401(03)00088-9","volume":"185","author":"P.B. Levy","year":"2003","unstructured":"Levy, P.B., Power, A.J., Thielecke, H.: Modelling environments in call-by-value programming languages. Inf. & Comp.\u00a0185(2), 182\u2013210 (2003)","journal-title":"Inf. & Comp."},{"key":"6_CR24","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Berlin (1998)","edition":"2"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. & Comp.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. & Comp."},{"key":"6_CR26","unstructured":"Pattinson, D.: An introduction to the theory of coalgebras. Course notes for NASSLLI (2003), www.indiana.edu\/~nasslli"},{"issue":"5","key":"6_CR27","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1017\/S0960129597002375","volume":"7","author":"J. Power","year":"1997","unstructured":"Power, J., Robinson, E.: Premonoidal categories and notions of computation. Math. Struct. in Comp. Sci.\u00a07(5), 453\u2013468 (1997)","journal-title":"Math. Struct. in Comp. Sci."},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.entcs.2006.05.030","volume":"160","author":"J.J.M.M. Rutten","year":"2006","unstructured":"Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of Mealy automata. Elect. Notes in Theor. Comp. Sci.\u00a0160, 305\u2013319 (2006)","journal-title":"Elect. Notes in Theor. Comp. Sci."},{"key":"6_CR29","series-title":"London Math. Soc. Lect. Note Series","first-page":"423","volume-title":"Topology, Geometry and Quantum Field Theory","author":"G. Segal","year":"2004","unstructured":"Segal, G.: The definition of conformal field theory. In: Tillmann, U. (ed.) Topology, Geometry and Quantum Field Theory. London Math. Soc. Lect. Note Series, vol.\u00a0308, pp. 423\u2013577. Cambridge University Press, Cambridge (2004)"},{"issue":"5","key":"6_CR30","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.entcs.2008.05.029","volume":"203","author":"T. Uustalu","year":"2008","unstructured":"Uustalu, T., Vene, V.: Comonadic notions of computation. Elect. Notes in Theor. Comp. Sci.\u00a0203(5), 263\u2013284 (2008)","journal-title":"Elect. Notes in Theor. Comp. Sci."},{"key":"6_CR31","volume-title":"Marktoberdorf Summer School on Program Design Calculi","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: Monads for functional programming. In: Marktoberdorf Summer School on Program Design Calculi. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03741-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T17:56:36Z","timestamp":1633888596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03741-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037405","9783642037412"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03741-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}