{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:03:59Z","timestamp":1767927839574,"version":"3.49.0"},"reference-count":46,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7321,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1016\/0304-3975(93)90053-v","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:37Z","timestamp":1027655257000},"page":"3-41","source":"Crossref","is-referenced-by-count":34,"title":["Linear logic, coherence and dinaturality"],"prefix":"10.1016","volume":"115","author":[{"given":"Richard","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(93)90053-V_BIB1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","article-title":"Functorial polymorphism","volume":"70","author":"Bainbridge","year":"1990","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90053-V_BIB2","article-title":"\u2217-Autonomous Categories","volume":"Vol. 752","author":"Barr","year":"1980"},{"key":"10.1016\/0304-3975(93)90053-V_BIB3","author":"Barr","year":"1991","journal-title":"Fuzzy models of linear logic"},{"key":"10.1016\/0304-3975(93)90053-V_BIB4","article-title":"Proof Nets and Coherence Theorems","volume":"Vol. 530","author":"Blute","year":"1991"},{"key":"10.1016\/0304-3975(93)90053-V_BIB5","series-title":"Thesis","article-title":"Linear logic, coherence and dinaturality","author":"Blute","year":"1991"},{"key":"10.1016\/0304-3975(93)90053-V_BIB6","article-title":"\u2217-Autonomous hyperdoctrines and predicate linear logic","author":"Blute","year":"1992","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB7","article-title":"Natural deduction and coherence for weakly distributive categories","author":"Blute","year":"1991","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB8","first-page":"112","article-title":"Inheritance and explicit coercion","author":"Breazu-Tannen","year":"1989","journal-title":"Logic in Computer Science"},{"key":"10.1016\/0304-3975(93)90053-V_BIB9","series-title":"Proc. Symp. on Applications of Categories in Computer Science","article-title":"Weakly distributive categories","author":"Cockett","year":"1991"},{"key":"10.1016\/0304-3975(93)90053-V_BIB10","doi-asserted-by":"crossref","unstructured":"P.L. Curien and G. Ghelli, Coherence of subsumption, Math. Struct. Comput. Sci., to appear.","DOI":"10.1007\/3-540-52590-4_45"},{"key":"10.1016\/0304-3975(93)90053-V_BIB11","series-title":"Thesis","article-title":"La Logique Lineaire Applique\u00e9 a L'\u00e9tude de Divers Processus de Normalisation et Principalement du \u03bb-calcul","author":"Danos","year":"1990"},{"key":"10.1016\/0304-3975(93)90053-V_BIB12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","article-title":"The structure of multiplicatives","volume":"28","author":"Danos","year":"1989","journal-title":"Arch. Math. Logic."},{"key":"10.1016\/0304-3975(93)90053-V_BIB13","article-title":"Dinatural Transformations","volume":"Vol. 137","author":"Dubuc","year":"1970"},{"key":"10.1016\/0304-3975(93)90053-V_BIB14","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1016\/0021-8693(66)90006-8","article-title":"A generalization of the functorial calculus","volume":"3","author":"Eilenberg","year":"1966","journal-title":"J. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB15","article-title":"The mix rule","author":"Fleury","year":"1991","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB16","series-title":"Proc. Logic Comput. Science","article-title":"Normal process representatives","author":"Gehlot","year":"1990"},{"key":"10.1016\/0304-3975(93)90053-V_BIB17","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","article-title":"The system F of variable types, 15 years later","volume":"45","author":"Girard","year":"1986","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90053-V_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(93)90053-V_BIB19","series-title":"Proof Theory and Logical Complexity","author":"Girard","year":"1987"},{"key":"10.1016\/0304-3975(93)90053-V_BIB20","article-title":"Multiplicatives","author":"Girard","year":"1988","journal-title":"Rendiconti Semin. Univ. Polit. Torino"},{"key":"10.1016\/0304-3975(93)90053-V_BIB21","article-title":"Quantifiers in linear logic","author":"Girard","year":"1989","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB22","article-title":"Geometry of Interaction II, Deadlock Free Algorithms","volume":"Vol. 417","author":"Girard","year":"1989"},{"key":"10.1016\/0304-3975(93)90053-V_BIB23","article-title":"Towards a geometry of interaction","author":"Girard","year":"1990","journal-title":"Proc. AMS Conf. on Categories in Computer Science and Logic"},{"key":"10.1016\/0304-3975(93)90053-V_BIB24","article-title":"Quantifiers in linear logic II","author":"Girard","year":"1991","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB25","article-title":"Linear Logic and Lazy Computation","volume":"Vol. 250","author":"Girard","year":"1988"},{"key":"10.1016\/0304-3975(93)90053-V_BIB26","series-title":"Proofs and Types","author":"Girard","year":"1990"},{"key":"10.1016\/0304-3975(93)90053-V_BIB27","article-title":"Normal forms and cut free proofs as natural transformations","author":"Girard","year":"1990","journal-title":"preprint"},{"key":"10.1016\/0304-3975(93)90053-V_BIB28","series-title":"London Math. Soc. Stud. Texts","article-title":"Introduction to Combinators and \u03bb-Calculus","author":"Hindley","year":"1986"},{"key":"10.1016\/0304-3975(93)90053-V_BIB29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0022-4049(89)90163-1","article-title":"Languages for monoidal categories","volume":"59","author":"Jay","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB30","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0022-4049(90)90031-C","article-title":"The structure of free closed categories","volume":"66","author":"Jay","year":"1990","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB31","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","article-title":"The geometry of tensor calculus","volume":"88","author":"Joyal","year":"1991","journal-title":"Adv. Math."},{"key":"10.1016\/0304-3975(93)90053-V_BIB32","article-title":"An Abstract Approach to Coherence","volume":"Vol. 281","author":"Kelly","year":"1972"},{"key":"10.1016\/0304-3975(93)90053-V_BIB33","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","article-title":"Coherence for compact closed categories","volume":"19","author":"Kelly","year":"1980","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB34","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","article-title":"Coherence in closed categories","volume":"1","author":"Kelly","year":"1971","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB35","article-title":"Interaction nets","author":"Lafont","year":"1990","journal-title":"Proc. Principles of Programming Languages"},{"key":"10.1016\/0304-3975(93)90053-V_BIB36","article-title":"Deductive Systems and Categories II","volume":"Vol. 87","author":"Lambek","year":"1969"},{"key":"10.1016\/0304-3975(93)90053-V_BIB37","article-title":"Multicategories Revisited","author":"Lambek","year":"1990","journal-title":"Proc. AMS Conf. on Categories in Computer Science and Logic"},{"key":"10.1016\/0304-3975(93)90053-V_BIB38","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/0304-3975(93)90053-V_BIB39","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/0304-3975(93)90053-V_BIB40","article-title":"From Petri Nets to Linear Logic","volume":"Vol. 389","author":"Marti-Oliet","year":"1989"},{"key":"10.1016\/0304-3975(93)90053-V_BIB41","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01404107","article-title":"Closed categories and the theory of proofs","volume":"15","author":"Mints","year":"1981","journal-title":"J. Soviet Math."},{"key":"10.1016\/0304-3975(93)90053-V_BIB42","series-title":"Information Processing '83","article-title":"Types, abstraction and parametric polymorphism","author":"Reynolds","year":"1983"},{"key":"10.1016\/0304-3975(93)90053-V_BIB43","series-title":"Lecture Notes in Computer Science","article-title":"The Coherence of Languages with Intersection Types, Proc. Internat. Conf. on Theoretical Aspects of Computer Software","author":"Reynolds","year":"1993"},{"key":"10.1016\/0304-3975(93)90053-V_BIB44","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","article-title":"Linear logic","volume":"Vol. 92","author":"Seely","year":"1989","journal-title":"Contemporary Mathematics"},{"key":"10.1016\/0304-3975(93)90053-V_BIB45","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-4049(87)90061-2","article-title":"On natural transformations of distinguished functors and their superpositions in certain closed categories","volume":"47","author":"Soloviev","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0304-3975(93)90053-V_BIB46","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1080\/00927877508822067","article-title":"Polycategories","volume":"3","author":"Szabo","year":"1975","journal-title":"Comm. Algebra"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390053V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390053V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T04:23:22Z","timestamp":1555129402000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759390053V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["030439759390053V"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(93)90053-v","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}