{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T19:36:32Z","timestamp":1761939392632,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590484"},{"type":"electronic","value":"9783540491781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014046","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:50:31Z","timestamp":1132732231000},"page":"78-93","source":"Crossref","is-referenced-by-count":65,"title":["What is a categorical model of Intuitionistic Linear Logic?"],"prefix":"10.1007","author":[{"given":"G. M.","family":"Bierman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"1\u20132","key":"6_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111(1\u20132):3\u201357, 1993. Previously Available as Department of Computing, Imperial College Technical Report 90\/20, 1990.","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","volume":"1","author":"M. Barr","year":"1991","unstructured":"M. Barr. \u22c6-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1:159\u2013178, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"P.N. Benton. A mixed linear and non-linear logic: Proofs, terms and models. Technical Report 352, Computer Laboratory, University of Cambridge, 1994.","DOI":"10.1007\/BFb0022251"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"P.N. Benton, G.M. Bierman, V.C.V. de Paiva, and J.M.E. Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.","DOI":"10.1007\/BFb0037099"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"P.N. Benton, G.M. Bierman, V.C.V. de Paiva, and J.M.E. Hyland. A term calculus for intuitionistic linear logic. In M. Bezem and J.F. Groote, editors, Proceedings of Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 75\u201390, 1993.","DOI":"10.1007\/BFb0037099"},{"key":"6_CR6","unstructured":"G.M. Bierman. On Intuitionistic Linear Logic. PhD thesis, Computer Laboratory, University of Cambridge, December 1993. Available as Computer Laboratory Technical Report 346. August 1994."},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(93)90011-H","volume":"110","author":"J. Gallier","year":"1993","unstructured":"J. Gallier. Constructive logics part I: A tutorial on proof systems and typed \u03bb-calculi. Theoretical Computer Science, 110(2):249\u2013339, March 1993.","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","doi-asserted-by":"publisher","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. Theoretical Computer Science, 50:1\u2013101, 1987.","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard and Y. Lafont. Linear logic and lazy computation. In Proceedings of TAPSOFT 87, volume 250 of Lecture Notes in Computer Science, pages 52\u201366, 1987. Previously Available as INRIA Report 588, 1986.","DOI":"10.1007\/BFb0014972"},{"key":"6_CR10","unstructured":"W.A. Howard. The formulae-as-types notion of construction. In J.R. Hindley and J.P. Seldin, editors, To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, 1980."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Y. Lafont. The linear abstract machine. Theoretical Computer Science, 59:157\u2013180, 1988. Corrections ibid. 62:327\u2013328, 1988.","journal-title":"Theoretical Computer Science"},{"key":"6_CR12","unstructured":"J. Lambek and P.J. Scott. Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics. Cambridge University Press, 1987."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematican, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. Linear logic, \u22c7-autonomous categories and cofree algebras. In Conference on Categories in Computer Science and Logic, volume 92 of AMS Contemporary Mathematics, pages 371\u2013382, June 1989.","DOI":"10.1090\/conm\/092\/1003210"},{"key":"6_CR15","unstructured":"A.S. Troelstra. Lectures on Linear Logic, volume 29 of Lecture Notes. CSLI, 1992."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:37:32Z","timestamp":1586579852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590484","9783540491781"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0014046","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}