{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:04:20Z","timestamp":1767927860931,"version":"3.49.0"},"reference-count":51,"publisher":"Elsevier BV","issue":"2","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":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6407,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1016\/0168-0072(95)00017-8","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T12:11:55Z","timestamp":1049717515000},"page":"101-142","source":"Crossref","is-referenced-by-count":29,"title":["Linear L\u00e4uchli semantics"],"prefix":"10.1016","volume":"77","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":[{"key":"10.1016\/0168-0072(95)00017-8_BIB1","series-title":"Hopf Algebras","author":"Ab\u00e9","year":"1977"},{"key":"10.1016\/0168-0072(95)00017-8_BIB2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","article-title":"Games and full completeness for multiplicative linear logic","volume":"59","author":"Abramsky","year":"1994","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00017-8_BIB3","series-title":"Games and full abstraction for PCF, Parts I, II. Research announcements","author":"Abramsky","year":"1993"},{"key":"10.1016\/0168-0072(95)00017-8_BIB4","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":"56","author":"Abrusci","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00017-8_BIB5","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":"Theoret. Comput. Sci."},{"key":"10.1016\/0168-0072(95)00017-8_BIB6","first-page":"3","article-title":"Duality of vector spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et G\u00e9om. Diff."},{"key":"10.1016\/0168-0072(95)00017-8_BIB7","article-title":"\u2217- Autonomous Categories","volume":"Vol. 752","author":"Barr","year":"1980"},{"key":"10.1016\/0168-0072(95)00017-8_BIB8","unstructured":"M. Barr, Separability of tensor in Chu categories of vector spaces, Appendix to [10]."},{"key":"10.1016\/0168-0072(95)00017-8_BIB9","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":"Theoret. Comput. Sci."},{"key":"10.1016\/0168-0072(95)00017-8_BIB10","article-title":"Hopf algebras and linear logic","author":"Blute","year":"1995","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/0168-0072(95)00017-8_BIB11","unstructured":"R. Blute, Braided proof nets and categories, in preparation."},{"key":"10.1016\/0168-0072(95)00017-8_BIB12","doi-asserted-by":"crossref","unstructured":"R. Blute, J.R.B. Cockett, R.A.G. Seely and T. Trimble, Natural deduction and coherence for weakly distributive categories, J. Pure Appl. Algebra, to appear.","DOI":"10.1016\/0022-4049(95)00159-X"},{"key":"10.1016\/0168-0072(95)00017-8_BIB13","series-title":"Applications of Categories in Computer Science","article-title":"Weakly distributive categories","volume":"Vol. 177","author":"Cockett","year":"1992"},{"key":"10.1016\/0168-0072(95)00017-8_BIB14","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\/0168-0072(95)00017-8_BIB15","series-title":"The MIX rule","author":"Fleury","year":"1991"},{"key":"10.1016\/0168-0072(95)00017-8_BIB16","series-title":"Applications of Categories in Computer Science","first-page":"107","article-title":"Dinaturality for free","author":"Freyd","year":"1992"},{"key":"10.1016\/0168-0072(95)00017-8_BIB17","series-title":"Proc. Logic in Computer Science","article-title":"Functorial parametricity","author":"Freyd","year":"1992"},{"key":"10.1016\/0168-0072(95)00017-8_BIB18","article-title":"Representation Theory","volume":"Vol. 129","author":"Fulton","year":"1991"},{"key":"10.1016\/0168-0072(95)00017-8_BIB19","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\/0168-0072(95)00017-8_BIB20","article-title":"Linear Logic and Lazy Computation","volume":"Vol. 250","author":"Girard","year":"1988"},{"key":"10.1016\/0168-0072(95)00017-8_BIB21","article-title":"Proofs and Types","volume":"Vol. 7","author":"Girard","year":"1989","journal-title":"Cambridge Tracts in Theoretical Computer Science"},{"key":"10.1016\/0168-0072(95)00017-8_BIB22","series-title":"Logic From Computer Science","first-page":"217","article-title":"Normal forms and cut-free proofs as natural transformations","volume":"21","author":"Girard","year":"1991"},{"key":"10.1016\/0168-0072(95)00017-8_BIB23","unstructured":"(also available by anonymous ftp from: theory.doc.ic.ac.uk, in: papers\/Scott)."},{"key":"10.1016\/0168-0072(95)00017-8_BIB24","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":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00017-8_BIB25","article-title":"Topological Vector Spaces and Distributions","author":"Horvath","year":"1966","journal-title":"Addison-Wesley Series in Mathematics"},{"key":"10.1016\/0168-0072(95)00017-8_BIB26","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/0168-0072(95)00017-8_BIB27","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\/0168-0072(95)00017-8_BIB28","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\/0168-0072(95)00017-8_BIB29","series-title":"Bilinear logic in algebra and linguistics","author":"Lambek","year":"1993"},{"key":"10.1016\/0168-0072(95)00017-8_BIB30","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/0168-0072(95)00017-8_BIB31","series-title":"Intuitionism and Proof Theory","first-page":"227","article-title":"An abstract notion of realizability for which intuitionistic predicate calculus is complete","author":"L\u00e4uchli","year":"1970"},{"key":"10.1016\/0168-0072(95)00017-8_BIB32","article-title":"Algebraic Topology","volume":"27","author":"Lefschetz","year":"1963"},{"key":"10.1016\/0168-0072(95)00017-8_BIB33","series-title":"The undecidability of \u03bb-definability, manuscript","author":"Loader","year":"1993"},{"key":"10.1016\/0168-0072(95)00017-8_BIB34","unstructured":"(available by anonymous ftp from theory.doc.ic.ac.uk, in: papers\/Loader)."},{"key":"10.1016\/0168-0072(95)00017-8_BIB35","series-title":"Proc. Logic in Computer Science (LICS) 1994","article-title":"Linear logic, totality and full completeness","author":"Loader","year":"1994"},{"key":"10.1016\/0168-0072(95)00017-8_BIB36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0217751X90000027","article-title":"Quasitriangular Hopf algebras and Yang-Baxter equations","volume":"5","author":"Majid","year":"1990","journal-title":"Internat. J. Modern Phys."},{"key":"10.1016\/0168-0072(95)00017-8_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","article-title":"Fully abstract models of typed Lambda calculi","volume":"4","author":"Milner","year":"1977","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0168-0072(95)00017-8_BIB38","first-page":"365","article-title":"Type systems for programming languages","volume":"Vol. B","author":"Mitchell","year":"1990"},{"key":"10.1016\/0168-0072(95)00017-8_BIB39","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0168-0072(91)90067-V","article-title":"Kripke-style models for typed lambda calculus","volume":"51","author":"Mitchell","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(95)00017-8_BIB40","series-title":"Computer Science Logic '92","first-page":"352","article-title":"Notes on sconing and relators","volume":"Vol. 702","author":"Mitchell","year":"1993"},{"key":"10.1016\/0168-0072(95)00017-8_BIB41","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1090\/conm\/092\/1003204","article-title":"Typed lambda models and Cartesian closed categories","volume":"92","author":"Mitchell","year":"1989","journal-title":"Contemp. Math."},{"key":"10.1016\/0168-0072(95)00017-8_BIB42","series-title":"Essays on Combinatory Logic, Lambda Calculus and Formalism","first-page":"363","article-title":"Lambda definability in the full type hierarchy","author":"Plotkin","year":"1980"},{"key":"10.1016\/0168-0072(95)00017-8_BIB43","series-title":"Information Processing '83","article-title":"Types, abstraction and parametric polymorphism","author":"Reynolds","year":"1983"},{"key":"10.1016\/0168-0072(95)00017-8_BIB44","article-title":"Topological Vector Spaces","volume":"Vol. 3","author":"Schaefer","year":"1970"},{"key":"10.1016\/0168-0072(95)00017-8_BIB45","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","article-title":"Linear logic, \u2217-autonomous categories, and cofree coalgebras","volume":"92","author":"Seely","year":"1989","journal-title":"Contemp. Math."},{"key":"10.1016\/0168-0072(95)00017-8_BIB46","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","article-title":"Logical relations and the typed Lambda calculus","volume":"65","author":"Statman","year":"1985","journal-title":"Inform. and Control"},{"key":"10.1016\/0168-0072(95)00017-8_BIB47","series-title":"Proc. Mathematical Foundations of Programming Semantics","article-title":"Mechanizing logical relations","volume":"Vol. 802","author":"Stoughton","year":"1994"},{"key":"10.1016\/0168-0072(95)00017-8_BIB48","series-title":"Hopf Algebras","author":"Sweedler","year":"1969"},{"key":"10.1016\/0168-0072(95)00017-8_BIB49","doi-asserted-by":"crossref","first-page":"198","DOI":"10.2307\/2271658","article-title":"Intensional interpretation of functionals of finite type","volume":"32","author":"Tait","year":"1967","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00017-8_BIB50","series-title":"Lectures on Linear Logic","author":"Troelstra","year":"1991"},{"key":"10.1016\/0168-0072(95)00017-8_BIB51","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":"J. Symbolic Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000178?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000178?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T21:29:17Z","timestamp":1556746157000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007295000178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["0168007295000178"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(95)00017-8","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}