{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:51Z","timestamp":1761611151323},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10485-004-3134-z","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T14:54:41Z","timestamp":1109775281000},"page":"1-36","source":"Crossref","is-referenced-by-count":11,"title":["Relating Categorical Semantics for Intuitionistic Linear Logic"],"prefix":"10.1007","volume":"13","author":[{"given":"Maria Emilia","family":"Maietti","sequence":"first","affiliation":[]},{"given":"Paola","family":"Maneggia","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"de Paiva","sequence":"additional","affiliation":[]},{"given":"Eike","family":"Ritter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Barber, A.: Linear type theories, semantics and action calculi, Ph.D. thesis, University of Edinburgh, 1997."},{"key":"CR2","unstructured":"Barber, A. and Plotkin, G.: Dual intuitionistic linear logic, Technical Report, LFCS, University of Edinburgh, 1997."},{"key":"CR3","series-title":"Oxford Sci. Publ.","first-page":"117","volume-title":"Handbook of Logic in Computer Science","author":"H. P. Barendregt","year":"1992","unstructured":"Barendregt, H. P.: Lambda calculi with types, in Handbook of Logic in Computer Science, Oxford Sci. Publ. 2, Oxford Univ. Press, New York, 1992, pp. 117?309."},{"key":"CR4","series-title":"Series in Computer Science","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1990","unstructured":"Barr, M. and Wells, C.: Category Theory for Computing Science, Series in Computer Science, Prentice-Hall International, New York, 1990."},{"key":"CR5","series-title":"Lecture Notes in Comput. Sci.","volume-title":"Proceedings of Computer Science Logic ?94","author":"N. Benton","year":"1995","unstructured":"Benton, N.: A mixed linear and non-linear logic: Proofs, terms and models, in Proceedings of Computer Science Logic ?94 (Kazimierz, Poland), Lecture Notes in Comput. Sci. 933, Springer, Berlin, 1995."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Benton, N.: A mixed linear and non-linear logic: Proofs, terms and models, Technical Report 352, University of Cambridge-Computer Laboratory, October 1994.","DOI":"10.1007\/BFb0022251"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Benton, N., Bierman, G., de Paiva, V. and Hyland, M.: Linear ?-calculus and categorical models revisited, in Computer Science Logic (San Miniato, 1992), Lecture Notes in Comput. Sci. 702, 1993, pp. 75?90.","DOI":"10.1007\/BFb0037099"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Benton, N., Bierman, G., de Paiva, V. and Hyland, M.: A term calculus for intuitionistic linear logic, in Proc. of Typed Lambda Calculus and Applications, Lecture Notes in Comput. Sci. 664, Springer, 1993, pp. 75?90.","DOI":"10.1007\/BFb0037099"},{"key":"CR9","unstructured":"Bierman, G.: On intuitionistic linear logic, Technical Report 346, Computer Laboratory, University of Cambridge, August 1994. Ph.D. thesis."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Bierman, G.: What is a categorical model of intuitionistic linear logic? in Proc. of the Second International Conference on Typed Lambda Calculus and Applications, Lecture Notes in Comput. Sci. 902, Springer, 1994.","DOI":"10.1007\/BFb0014046"},{"key":"CR11","unstructured":"Crole, R. L.: Categories for Types, Cambridge Mathematical Textbooks, Cambridge University Press, 1993."},{"key":"CR12","unstructured":"Ghani, N.: Adjoint rewriting, Ph.D. thesis, University of Edinburgh, 1995. Published as CST-122-95 and ECS-LFCS-95-339."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Ghani, N., de Paiva, V. and Ritter, E.: Linear explicit substitutions, J. IGPL (2000).","DOI":"10.1093\/jigpal\/8.1.7"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Girard, J. Y. and Lafont, Y.: Linear logic and lazy computation, in TAPSOFT ?87, Lecture Notes in Comput. Sci. 250, 1987, pp. 52?66.","DOI":"10.1007\/BFb0014972"},{"key":"CR15","unstructured":"Girard, J. Y., Lafont, Y. and Taylor, P.: Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press, 1989."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Hyland, M. and Schalk, A.: Abstract games for linear logic, Extended Abstract, in CTCS ?99, Electronic Notes in Theoret. Comput. Sci. 29, 1999.","DOI":"10.1016\/S1571-0661(05)80312-3"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Kelly, G. M.: Doctrinal adjunctions, in Category Seminar ?73, Lecture Notes in Math. 420, 1974, pp. 257?281.","DOI":"10.1007\/BFb0063105"},{"key":"CR18","unstructured":"Kelly, G. M.: Basic Concepts of Enriched Category Theory, London Math. Soc. Lecture Note Ser. 64, Cambridge University Press, 1982."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Koh, T. W. and Ong, C.-H. L.: Explicit substitution internal languages for autonomous and *-autonomous categories (preliminary version), in Proceedings of the 8th Conference on Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science 29, 1999, 30 pp.","DOI":"10.1016\/S1571-0661(05)80313-5"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: The linear abstract machine, in International Joint Conference on Theory and Practice of Software Development (Pisa, 1987), Theoret. Comput. Sci. 59, 1988, pp. 157?180.","DOI":"10.1016\/0304-3975(88)90100-4"},{"key":"CR21","unstructured":"Lambek, J. and Scott, P. J.: An Introduction to Higher Order Categorical Logic, Studies in Adv. Math. 7, Cambridge University Press, 1986."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Graduate Text in Math. 5, Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00873993","volume":"1","author":"I. Mackie","year":"1993","unstructured":"Mackie, I., Roman, L. and Abramsky, S.: An internal language for autonomous categories, Appl. Categorical Structures 1 (1993), 311?343.","journal-title":"Appl. Categorical Structures"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Maietti, M. E., de Paiva, V. and Ritter, E.: Categorical models for intuitionistic and linear type theory, in J. Tiuryn (ed.), Proc. of Foundations of Software Science and Computation Structures, Lecture Notes in Comput. Sci., 2000.","DOI":"10.1007\/3-540-46432-8_15"},{"key":"CR25","unstructured":"Maneggia, P.: Models of linear polymorphism, Ph.D. thesis, The University of Birmingham, UK, 2004."},{"key":"CR26","unstructured":"Mellies, P. A.: Categorical models of linear logic revisited, Theoret. Comput. Sci. (2002) (submitted)."},{"key":"CR27","unstructured":"Pitts, A. M.: Categorical logic, in Logical Methods in Computer Science, Handbook of Logic in Computer Science, Vol. VI, Oxford University Press, 1995."},{"key":"CR28","unstructured":"Ritter, E. and de Paiva, V.: Short final summary of EPSRC-grant: The eXplicit linear abstract machine, University of Birmingham, http:\/\/www.cs.bham.ac.uk\/research\/xslam\/ xslam_summary.ps.gz, June 2000."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R. Street","year":"1972","unstructured":"Street, R.: The formal theory of monads, J. Pure Appl. Algebra 2 (1972), 149?168.","journal-title":"J. Pure Appl. Algebra"},{"key":"CR30","unstructured":"Taylor, P.: Practical Foundations of Mathematics, Cambridge Stud. in Adv. Math. 99, Cambridge University Press, 1997."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-004-3134-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-004-3134-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-004-3134-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T02:24:16Z","timestamp":1586139856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-004-3134-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["5383134"],"URL":"https:\/\/doi.org\/10.1007\/s10485-004-3134-z","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}