{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:31:50Z","timestamp":1770298310581,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540286202","type":"print"},{"value":"9783540318767","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_1","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T16:07:40Z","timestamp":1279728460000},"page":"1-29","source":"Crossref","is-referenced-by-count":26,"title":["Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-1_CR1.1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jagadeesan, R.: New Foundations for the Geometry of Interaction. Information and Computation??111(1), 53???119 (1994);","DOI":"10.1006\/inco.1994.1041"},{"key":"#cr-split#-1_CR1.2","unstructured":"Conference version appeared in LiCS 1992 (1992)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR \u201996: Concurrency Theory","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 1\u201317. Springer, Heidelberg (1996)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1017\/S0960129502003730","volume":"12","author":"S. Abramsky","year":"2002","unstructured":"Abramsky, S., Haghverdi, E., Scott, P.J.: Geometry of Interaction and Linear Combinatory Algebras. Mathematical Structures in Computer Science\u00a012, 625\u2013665 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS 2004), pp. 415\u2013425. IEEE Computer Science Press, Los Alamitos (2004); (extended version at arXiv: quant-ph\/0402130)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"1_CR5","first-page":"111","volume":"14","author":"S. Abramsky","year":"2005","unstructured":"Abramsky, S., Coecke, B.: Abstract Physical Traces. Theory and Applications of Categories\u00a014, 111\u2013124 (2005)","journal-title":"Theory and Applications of Categories"},{"key":"1_CR6","unstructured":"Abramsky, S., Duncan, R.W.: Categorical Quantum Logic. In: The Proceedings of the Second International Workshop on Quantum Programming Languages (2004)"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0064579","volume-title":"*-autonomous Categories","author":"M. Barr","year":"1979","unstructured":"Barr, M.: *-autonomous Categories. Springer, Heidelberg (1979)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1937","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics\u00a037, 823\u2013843 (1937)","journal-title":"Annals of Mathematics"},{"key":"1_CR9","unstructured":"Coecke, B.: Delinearizing Linearity. Draft paper (2005)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Deligne, P.: Cat\u00e9gories Tannakiennes. In: The Grothendiek Festschrift, Birkhauser, vol.\u00a0II, pp. 111\u2013195 (1990)","DOI":"10.1007\/978-0-8176-4575-5_3"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"1_CR12","first-page":"221","volume-title":"Logic Colloquium 1988","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y.: Geometry of Interaction I: Interpretation of System F. In: Ferro, R., et al. (eds.) Logic Colloquium 1988, pp. 221\u2013260. North-Holland, Amsterdam (1989)"},{"key":"1_CR13","unstructured":"Hyland, M.: Personal communication (July 2004)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Math. Proc. Camb. Phil. Soc.\u00a0119, 447\u2013468 (1996)","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0783-2","volume-title":"Quantum Groups","author":"C. Kassel","year":"1995","unstructured":"Kassel, C.: Quantum Groups. Springer, Heidelberg (1995)"},{"key":"1_CR16","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Feedback, trace and fixed point semantics. In: Proceedings of FICS 2001: Workshop on Fixed Points in Computer Science (2001), Available at http:\/\/www.unico.it\/~walters\/papers\/index.html"},{"key":"1_CR17","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BFb0059556","volume-title":"Many-variable functorial calculus I","author":"G.M. Kelly","year":"1972","unstructured":"Kelly, G.M.: Many-variable functorial calculus I. Lecture Notes in Mathematics, vol.\u00a0281, pp. 66\u2013105. Springer, Heidelberg (1972)"},{"key":"1_CR18","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BFb0059557","volume-title":"An abstract approach to coherence","author":"G.M. Kelly","year":"1972","unstructured":"Kelly, G.M.: An abstract approach to coherence. Lecture Notes in Mathematics, vol.\u00a0281, pp. 106\u2013147. Springer, Heidelberg (1972)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. Journal of Pure and Applied Algebra\u00a019, 193\u2013213 (1980)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"1_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"1_CR21","unstructured":"Pavlovic, D.: A semantical approach to equilibria, adaptation and evolution. Unpublished manuscript (November 2004)"},{"key":"1_CR22","first-page":"221","volume-title":"Combinatorial Mathematics and Its Applications","author":"R. Penrose","year":"1971","unstructured":"Penrose, R.: Applications of negative-dimensional tensors. In: Welsh, D.J. (ed.) Combinatorial Mathematics and Its Applications, pp. 221\u2013244. Academic Press, London (1971)"},{"key":"1_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0059108","volume-title":"Cat\u00e9gories Tannakiennes","author":"N.S. Rivano","year":"1972","unstructured":"Rivano, N.S.: Cat\u00e9gories Tannakiennes. Springer, Heidelberg (1972)"},{"issue":"4","key":"1_CR24","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science\u00a014(4), 527\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR25","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (2005) (to appear)"}],"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\/11548133_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:40:38Z","timestamp":1605624038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11548133_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}