{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:57:06Z","timestamp":1725656226327},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642275487"},{"type":"electronic","value":"9783642275494"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27549-4_22","type":"book-chapter","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T20:53:22Z","timestamp":1328043202000},"page":"169-176","source":"Crossref","is-referenced-by-count":0,"title":["On the Confluence of the Graphic Calculus with Penrose Diagrams (I)"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Freire Nistal","sequence":"first","affiliation":[]},{"given":"A.","family":"Blanco Ferro","sequence":"additional","affiliation":[]},{"given":"J. M.","family":"Molinelli Barba","sequence":"additional","affiliation":[]},{"given":"E.","family":"Freire Bra\u00f1as","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bonfante, G., Guiraud, Y.: Polygraphic programs and polynomial\u2013time functions. LMCS 5 (2009)","DOI":"10.2168\/LMCS-5(2:14)2009"},{"key":"22_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development","author":"I. Bertot","year":"2004","unstructured":"Bertot, I., Casteran, P.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)"},{"key":"22_CR3","unstructured":"Coecke, R.: Course lecture notes HT. Oxford Computer Laboratory (2010)"},{"key":"22_CR4","unstructured":"Coquand, T.: An Introduction to Type Theory. Notes of the FPCL summer school, Glasgow (1989)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Dixon, L., Duncan, R.: Graphical Reasoning in Compact Closed Categories for Quantum Computation. Journal Annals of Mathematics and Artificial Intelligence\u00a056(1) (2009)","DOI":"10.1007\/s10472-009-9141-x"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-52335-9_47","volume-title":"COLOG-88","author":"T. Coquand","year":"1990","unstructured":"Coquand, T., Pauling\u2013Mohring, C.: Inductively defined types. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 50\u201366. Springer, Heidelberg (1990)"},{"key":"22_CR7","unstructured":"Guiraud, Y., Malbos, P.: Higher-dimensional categories with finite derivation type. Theory and Applications of Categories\u00a022(18) (2009)"},{"key":"22_CR8","unstructured":"Lafont, I.: Diagram Rewriting and Operads (2010), \n \n http:\/\/iml.univ-mrs.fr\/~lafont\/recherche.html"},{"key":"22_CR9","unstructured":"Mimram, S.: Computing Critical Pairs in 3-Polygraphs. In: CEA. CAM-CAD Workshop (2009)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/BFb0037116","volume-title":"Typed Lambda Calculi and Applications","author":"C. Pauling-Mohring","year":"1993","unstructured":"Pauling-Mohring, C.: Inductive Definitions in the System Coq\u2013Rules and Properties. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664, pp. 328\u2013345. Springer, Heidelberg (1993)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/BFb0025048","volume-title":"Computer Aided Systems Theory - EUROCAST \u201997","author":"J.M. Molinelli","year":"1997","unstructured":"Molinelli, J.M., Barja, J.M., Blanco, A., Freire, J.L.: An Automatic Calculator with Penrose Diagrams. In: Moreno-D\u00edaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol.\u00a01333, pp. 252\u2013269. Springer, Heidelberg (1997)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0040259","volume-title":"Mathematical Foundations of Programming Semantics","author":"F. Pfenning","year":"1990","unstructured":"Pfenning, F., Pauling\u2013Mohring, C.: Inductively defined types in the Calculus of Constructions. In: Schmidt, D.A., Main, M.G., Melton, A.C., Mislove, M.W. (eds.) MFPS 1989. LNCS, vol.\u00a0442, pp. 209\u2013228. Springer, Heidelberg (1990)"},{"key":"22_CR13","unstructured":"Simpson, C.: \n \n http:\/\/ncatlab.org\/nlab\/show\/strict+2-category"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Tabareau, N.: Aspect Oriented Programming: a language for 2-categories (2010), \n \n http:\/\/hal.archives-ouvertes.fr\/","DOI":"10.1145\/1960510.1960514"},{"key":"22_CR15","unstructured":"Werner, B., Paulin\u2013Mohrin, C.: ENSTA Course Notes (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27549-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T00:40:37Z","timestamp":1556239237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27549-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642275487","9783642275494"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27549-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}