{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T09:50:35Z","timestamp":1641203435757},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569923","type":"print"},{"value":"9783540478904","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:00:33Z","timestamp":1330257633000},"page":"61-84","source":"Crossref","is-referenced-by-count":24,"title":["Linear \u03bb-calculus and categorical models revisited"],"prefix":"10.1007","author":[{"given":"Nick","family":"Benton","sequence":"first","affiliation":[]},{"given":"Gavin","family":"Bierman","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Paiva","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Hyland","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","volume-title":"Technical Report 90\/20","author":"S. Abramsky","year":"1990","unstructured":"Samson Abramsky. Computational interpretations of linear logic. Technical Report 90\/20, Department of Computing, Imperial College, London, October 1990."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.","DOI":"10.1007\/BFb0037099"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. A term calculus for intuitionistic linear logic. In Proceedings of International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, March 1993.","DOI":"10.1007\/BFb0037099"},{"key":"6_CR4","unstructured":"Valeria C.V. de Paiva. The Dialetica Categories. PhD thesis, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 1988. Published as Computer Laboratory Technical Report 213, 1990."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"S. Eilenberg and G.M. Kelly. Closed categories. In Proceedings of Conference on Categorical Algebra, La Jolla, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"issue":"7","key":"6_CR6","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1080\/00927877608822127","volume":"4","author":"T. Fox","year":"1976","unstructured":"T. Fox. Coalgebras and cartesian categories. Communications in Algebra, 4(7):665\u2013667, 1976.","journal-title":"Communications in Algebra"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013101, 1987.","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J. Girard","year":"1992","unstructured":"Jean-Yves Girard, Andre Scedrov, and Philip Scott. Bounded linear logic: A modular approach to polynomial time computability. Theoretical Computer Science, 97:1\u201366, 1992.","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","unstructured":"Martin Hyland and Valeria de Paiva. Full intuitionistic linear logic. Unpublished manuscript, 1992."},{"key":"6_CR10","unstructured":"Bart Jacobs. Semantics of weakening and contraction. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, unpublished manuscript, May 1992."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"G.M. Kelly","year":"1971","unstructured":"G.M. Kelly and S. Mac Lane. Coherence in closed categories. Journal of Pure and Applied Algebra, 1:97\u2013140, 1971.","journal-title":"Journal of Pure and Applied Algebra"},{"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":"Saunders 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","unstructured":"Patrick Lincoln and John Mitchell. Operational aspects of linear lambda calculus. In Proceedings of Symposium on Logic in Computer Science, pages 235\u2013246, June 1992."},{"key":"6_CR15","volume-title":"Master's thesis","author":"I. Mackie","year":"1991","unstructured":"Ian Mackie. Lilac: A functional programming language based on linear logic. Master's thesis, Department of Computing, Imperial College, London, September 1991."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. Linear logic, *-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_CR17","unstructured":"M.E. Szabo, editor. The Collected Papers of Gerhard Gentzen. North-Holland, 1969."},{"key":"6_CR18","unstructured":"Philip Wadler. There's no substitute for linear logic. Draft Paper, December 1991."}],"container-title":["Computer Science Logic","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:56Z","timestamp":1605647276000},"score":1,"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":18,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-56992-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1993]]}}}