{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:53:33Z","timestamp":1725537213929},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040269"},{"type":"electronic","value":"9783642040276"}],"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-04027-6_16","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T17:27:52Z","timestamp":1252949272000},"page":"194-208","source":"Crossref","is-referenced-by-count":3,"title":["On the Word Problem for ${\\it \\Sigma\\Pi}$ -Categories, and the Properties of Two-Way Communication"],"prefix":"10.1007","author":[{"given":"Robin","family":"Cockett","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J. Lambek","year":"1968","unstructured":"Lambek, J.: Deductive systems and categories. I. Syntactic calculus and residuated categories. Math. Systems Theory\u00a02, 287\u2013318 (1968)","journal-title":"Math. Systems Theory"},{"key":"16_CR2","series-title":"Trends in Logic\u2014Studia Logica Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1207-1","volume-title":"Cut elimination in categories","author":"K. Do\u0161en","year":"1999","unstructured":"Do\u0161en, K.: Cut elimination in categories. Trends in Logic\u2014Studia Logica Library, vol.\u00a06. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"16_CR3","first-page":"63","volume":"8","author":"J.R.B. Cockett","year":"2001","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Finite sum-product logic. Theory Appl. Categ.\u00a08, 63\u201399 (2001) (electronic)","journal-title":"Theory Appl. Categ."},{"issue":"1-2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(99)00051-1","volume":"227","author":"H. Hu","year":"1999","unstructured":"Hu, H., Joyal, A.: Coherence completions of categories. Theoret. Comput. Sci.\u00a0227(1-2), 153\u2013184 (1999), Linear logic, I (Tokyo, 1996)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR5","unstructured":"Hughes, D.J.D.: A cannonical graphical syntax for non-empty finite products and sums. Technical report, Stanford University (December 2002), http:\/\/boole.stanford.edu\/~dominic\/papers"},{"key":"16_CR6","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Bicartesian coherence revisited. In: Ognjanovic, Z. (ed.) Logic in Computer Science, Zbornik Radova, vol.\u00a012 (2009), arXiv:0711.4961"},{"key":"16_CR7","first-page":"1","volume-title":"LICS","author":"D.J.D. Hughes","year":"2003","unstructured":"Hughes, D.J.D., van Glabbeek, R.J.: Proof nets for unit-free multiplicative-additive linear logic (extended abstract). In: LICS, pp. 1\u201310. IEEE Computer Society, Los Alamitos (2003)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hu, H.: Contractible coherence spaces and maximal maps. Electr. Notes Theor. Comput. Sci.\u00a020 (1999)","DOI":"10.1016\/S1571-0661(04)80080-X"},{"key":"16_CR9","series-title":"Synthese Lib.","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-94-017-0487-8_3","volume-title":"Logic and scientific methods (Florence, 1995)","author":"A. Joyal","year":"1997","unstructured":"Joyal, A.: Free lattices, communication and money games. In: Logic and scientific methods (Florence, 1995). Synthese Lib., vol.\u00a0259, pp. 29\u201368. Kluwer Acad. Publ, Dordrecht (1997)"},{"issue":"2-3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0022-4049(01)00098-6","volume":"168","author":"L. Santocanale","year":"2002","unstructured":"Santocanale, L.: Free \u03bc-lattices. J. Pure Appl. Algebra\u00a0168(2-3), 227\u2013264 (2002), Category theory 1999 (Coimbra)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1-3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A.: A game semantics for linear logic. Ann. Pure Appl. Logic\u00a056(1-3), 183\u2013220 (1992)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. of Symb. Logic\u00a059(2), 543\u2013574 (1994)","journal-title":"J. of Symb. Logic"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.entcs.2004.06.049","volume":"122","author":"J.R.B. Cockett","year":"2005","unstructured":"Cockett, J.R.B., Pastro, C.A.: A language for multiplicative-additive linear logic. Electr. Notes Theor. Comput. Sci.\u00a0122, 23\u201365 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"8","key":"16_CR14","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.scico.2007.11.005","volume":"74","author":"J.R.B. Cockett","year":"2009","unstructured":"Cockett, J.R.B., Pastro, C.A.: The logic of message passing. Science of Computer Programming\u00a074(8), 498\u2013533 (2009)","journal-title":"Science of Computer Programming"},{"key":"16_CR15","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the working mathematician, 2nd edn. Graduate Texts in Mathematics, vol.\u00a05. Springer, New York (1998)","edition":"2"},{"issue":"5","key":"16_CR16","first-page":"219","volume":"17","author":"A. Joyal","year":"1995","unstructured":"Joyal, A.: Free bicomplete categories. C. R. Math. Rep. Acad. Sci. Canada\u00a017(5), 219\u2013224 (1995)","journal-title":"C. R. Math. Rep. Acad. Sci. Canada"},{"issue":"5","key":"16_CR17","first-page":"213","volume":"17","author":"A. Joyal","year":"1995","unstructured":"Joyal, A.: Free bicompletion of enriched categories. C. R. Math. Rep. Acad. Sci. Canada\u00a017(5), 213\u2013218 (1995)","journal-title":"C. R. Math. Rep. Acad. Sci. Canada"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04027-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:19:25Z","timestamp":1558538365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04027-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040269","9783642040276"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04027-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}