{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:11Z","timestamp":1725456371391},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054495X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013461","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:51:37Z","timestamp":1132728697000},"page":"121-137","source":"Crossref","is-referenced-by-count":2,"title":["Proof nets and coherence theorems"],"prefix":"10.1007","author":[{"given":"Richard","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","volume":"70","author":"E. Bainbridge","year":"1990","unstructured":"E. Bainbridge, P. Freyd, A. Scedrov, P. Scott, Functorial Polymorphism, TCS (1990) 70:35\u201364","journal-title":"TCS"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr, *-Autonomous Categories, Springer Lecture Notes in Mathematics Vol 752, (1980)","DOI":"10.1007\/BFb0064579"},{"key":"9_CR3","unstructured":"R. Blute, Linear Logic, Coherence and Dinaturality, Thesis,1991"},{"key":"9_CR4","unstructured":"V. Danos, La Logique Lineaire Appliquee a L'etude de Divers Processus de Normalisation et Pricipalement du \u03bb-calcul, thesis, 1990"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"V. Danos, L. Regnier, The Structure of Multiplicatives, Arch. Math. Logic (1989) 28:181\u2013203","journal-title":"Arch. Math. Logic"},{"key":"9_CR6","unstructured":"V. Gehlot, C. Gunter, Normal Process Representatives, Proceedings of Logic in Computer Science, IEEE, (1990)"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"J. Y. Girard, Linear Logic, TCS(1987) 50:1\u2013102","journal-title":"TCS"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"J. Y. Girard, Towards a Geometry of Interaction, Proceedings AMS Conference on Categories in Computer Science and Logic (1990)","DOI":"10.1090\/conm\/092\/1003197"},{"key":"9_CR9","first-page":"159","volume":"45","author":"J. Y. Girard","year":"1986","unstructured":"J. Y. Girard, The System F of Variable Types, 15 Years Later (1986) 45:159\u2013192","journal-title":"15 Years Later"},{"key":"9_CR10","unstructured":"J. Y. Girard, Multiplicatives, Rendiconti Semin. Univ. Polit. Torino (1988)"},{"key":"9_CR11","unstructured":"J. Y. Girard, Quantifiers in Linear Logic, preprint, 1989"},{"key":"9_CR12","unstructured":"J. Y. Girard, Y. Lafont, Linear Logic and Lazy Computation, SLNCS 250"},{"key":"9_CR13","unstructured":"J. Y. Girard, Y. Lafont, P. Taylor, Proofs and Types, Cambridge University Press"},{"key":"9_CR14","unstructured":"J. Y. Girard, A. Scedrov, P. Scott, Normal Forms and Cut Free Proofs as Natural Transformations, preprint (1990)"},{"key":"9_CR15","first-page":"97","volume":"1","author":"G. M. Kelly","year":"1971","unstructured":"G. M. Kelly, S. Mac Lane, Coherence in Closed Categories, JPAA (1971) 1:97\u2013140","journal-title":"JPAA"},{"key":"9_CR16","first-page":"193","volume":"19","author":"G. M. Kelly","year":"1980","unstructured":"G. M. Kelly, M. La Plaza, Coherence for Compact Closed Categories, JPAA (1980) 19:193\u2013213","journal-title":"JPAA"},{"key":"9_CR17","unstructured":"G. M. Kelly, An Abstract Approach to Coherence, Springer Lecture Notes in Mathematics 281"},{"key":"9_CR18","unstructured":"J. Lambek, Deductive Systems and Categories II, Springer Lecture Notes in Mathematics 87, (1969)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"J. Lambek, Multicategories Revisited, Proceedings AMS Conference on Categories in Computer Science and Logic, (1990)","DOI":"10.1090\/conm\/092\/1003201"},{"key":"9_CR20","unstructured":"N. Marti-Oliet, J. Meseguer, From Petri Nets to Linear Logic, Springer Lecture Notes in Computer Science 389, (1989)"},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01404107","volume":"15","author":"G. Mints","year":"1981","unstructured":"G. Mints, Closed Categories and the Theory of Proofs, Journal of Soviet Math. (1981) 15:45\u201362","journal-title":"Journal of Soviet Math."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:28Z","timestamp":1586579368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054495X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0013461","relation":{},"subject":[]}}