{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:57Z","timestamp":1761611157201,"version":"build-2065373602"},"reference-count":32,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6419,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1016\/s1571-0661(05)82517-4","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"28-38","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["A Noncommutative Full Completeness Theorem"],"prefix":"10.1016","volume":"3","author":[{"given":"R.F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.J.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1977","series-title":"Hopf Algebras","author":"Ab\u00e9","key":"10.1016\/S1571-0661(05)82517-4_BIB1"},{"issue":"No.2","key":"10.1016\/S1571-0661(05)82517-4_BIB2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","article-title":"Games and Full Completeness for Multiplicative Linear Logic","volume":"Vol. 59","author":"Abramsky","year":"1994","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB3","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","article-title":"Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic","volume":"Vol. 56","author":"Abrusci","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB4","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1016\/0304-3975(90)90151-7","article-title":"Functorial Polymorphism","volume":"70","author":"Bainbridge","year":"1990","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB5","first-page":"3","volume":"17","author":"Barr","year":"1976","journal-title":"Duality of Vector Spaces. Cahiers de Top. et G\u00e9om. Diff."},{"key":"10.1016\/S1571-0661(05)82517-4_BIB6","first-page":"15","article-title":"Duality of Banach Spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et G\u00e9om. Diff."},{"year":"1980","series-title":"\u2217-Autonomous Categories","author":"Barr","key":"10.1016\/S1571-0661(05)82517-4_BIB7"},{"year":"1994","series-title":"Appendix to [11]","author":"Barr","key":"10.1016\/S1571-0661(05)82517-4_BIB8"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB9","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1989-12402","article-title":"Bialgebras: Some Foundations for Distributed and Concurrent Computation","volume":"12","author":"Benson","year":"1989","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90053-V","article-title":"Linear Logic, Coherence and Dinaturality","volume":"115","author":"Blute","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0960129500000943","article-title":"Hopf Algebras and Linear Logic","volume":"6","author":"Blute","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB12","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0168-0072(95)00017-8","article-title":"Linear L\u00e4uchli Semantics","volume":"77","author":"Blute","year":"1996","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB13","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\/S1571-0661(05)82517-4_BIB14","doi-asserted-by":"crossref","unstructured":"A. Fleury, C. R\u00e9tor\u00e9, The MIX Rule, Mathematical Structures in Computer Science 4, p. 273-285 (1994).","DOI":"10.1017\/S0960129500000451"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB15","first-page":"1","article-title":"Linear Logic. Theoretical Computer Science","author":"Girard","year":"1987","journal-title":"50, p."},{"year":"1996","series-title":"Coherent Banach Spaces, preprint and lectures delivered at Keio University, Linear Logic '96, April 1996","author":"Girard","key":"10.1016\/S1571-0661(05)82517-4_BIB16"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4612-2822-6_8","article-title":"Normal Forms and Cut-free Proofs as Natural Transformations, in: Logic From Computer Science","volume":"21","author":"Girard","year":"1991","journal-title":"Mathematical Science Research Institute Publications"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB18","doi-asserted-by":"crossref","first-page":"200","DOI":"10.2307\/2275186","article-title":"Lambek's Categorical Proof Theory and L\u00e4uchli's Abstract Realizability","volume":"57","author":"Harnik","year":"1992","journal-title":"Journal of Symbolic Logic"},{"issue":"No. 1","key":"10.1016\/S1571-0661(05)82517-4_BIB19","article-title":"Introductory Recommendations for the Study of Hopf Algebras in Mathematics and Physics, CWI Quarterly","volume":"Vol. 4","author":"Hazewinkel","year":"1991","journal-title":"Centre for Mathematics and Computer Science, Amsterdam"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB20","doi-asserted-by":"crossref","unstructured":"S. Joni, G.C. Rota, Coalgebras and Bialgebras in Combinatorics, Studies in Applied Mathematics 61, p. 93-139, (1979).","DOI":"10.1002\/sapm197961293"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0001-8708(81)90052-9","article-title":"Une Th\u00e9orie Combinatoire des S\u00e9ries formelles","volume":"42","author":"Joyal","year":"1981","journal-title":"Advances in Mathematics"},{"year":"1963","series-title":"Algebraic Topology, American Mathematical Society Colloquium Publications 27","author":"Lefschetz","key":"10.1016\/S1571-0661(05)82517-4_BIB22"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB23","doi-asserted-by":"crossref","unstructured":"S. Majid, Quasitriangular Hopf Algebras and Yang-Baxter Equations, International Journal of Modern Physics 5, p. 1-91, (1990).","DOI":"10.1142\/S0217751X90000027"},{"year":"1996","series-title":"Des R\u00e9seaux De D\u00e9monstration Pour La Linguistique, manuscript","author":"Retor\u00e9","key":"10.1016\/S1571-0661(05)82517-4_BIB24"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB25","doi-asserted-by":"crossref","unstructured":"W. Schmitt, Antipodes and Incidence Coalgebras, Journal of Combinatorial Theory 46, p. 264-290, (1987).","DOI":"10.1016\/0097-3165(87)90006-9"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB26","doi-asserted-by":"crossref","first-page":"412","DOI":"10.4153\/CJM-1993-021-5","article-title":"Hopf Algebras of Combinatorial Structures","volume":"45","author":"Schmitt","year":"1993","journal-title":"Canadian Journal of Mathematics"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB27","article-title":"Projectivity, Injectivity and Duality","volume":"35","author":"Semadeni","year":"1963","journal-title":"Rozprawy Mat."},{"year":"1969","series-title":"Hopf Algebras","author":"Sweedler","key":"10.1016\/S1571-0661(05)82517-4_BIB28"},{"year":"1967","series-title":"Topological Vector Spaces, Distributions and Kernels","author":"Treves","key":"10.1016\/S1571-0661(05)82517-4_BIB29"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB30","doi-asserted-by":"crossref","unstructured":"K. Ulbrich, On Hopf Algebras and Rigid Monoidal Categories, Israel Journal of Mathematics 71, p. 252-256, (1989).","DOI":"10.1007\/BF02764622"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB31","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","article-title":"Quantales and (Noncommutative) Linear Logic","volume":"55","author":"Yetter","year":"1990","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(05)82517-4_BIB32","doi-asserted-by":"crossref","first-page":"47","DOI":"10.4064\/sm-20-1-47-68","article-title":"Linear Spaces with Mixed Topology","volume":"20","author":"Wiweger","year":"1961","journal-title":"Studia Math."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825174?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825174?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:57Z","timestamp":1761610137000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105825174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":32,"alternative-id":["S1571066105825174"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)82517-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Noncommutative Full Completeness Theorem","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)82517-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1996 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}