{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T11:49:17Z","timestamp":1778240957521,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540580270","type":"print"},{"value":"9783540484196","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:08:54Z","timestamp":1330250934000},"page":"474-512","source":"Crossref","is-referenced-by-count":7,"title":["Holomorphic models of exponential types in linear logic"],"prefix":"10.1007","author":[{"given":"R. F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. A. G.","family":"Seely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V.M. Abrusci","year":"1991","unstructured":"Abrusci, V.M. \u201cPhase semantics and sequent calculus for pure noncommutative classical linear propositional logic\u201d, Journal of Symbolic Logic 56 (1991) 1403\u20131451.","journal-title":"Journal of Symbolic Logic"},{"key":"23_CR2","volume-title":"Complex Analysis","author":"L.V. Ahlfors","year":"1966","unstructured":"Ahlfors, L.V. Complex Analysis. McGraw-Hill, New York, 1966, second edition. (First edition 1953).","edition":"second edition"},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF00756233","volume":"12","author":"A. Ashtekar","year":"1980","unstructured":"Ashtekar, A. and A. Magnon-Ashtekar \u201cA geometrical approach to external potential problems in quantum field theory\u201d, Journal of General Relativity and Gravitation 12 (1980) 205\u2013223.","journal-title":"Journal of General Relativity and Gravitation"},{"key":"23_CR4","doi-asserted-by":"crossref","DOI":"10.1515\/9781400862504","volume-title":"Introduction to algebraic and constructive quantum field theory","author":"J.C. Baez","year":"1992","unstructured":"Baez, J.C., I.E. Segal and Z. Zhou Introduction to algebraic and constructive quantum field theory. Princeton University Press, Princeton, New Jersey, 1992."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1002\/cpa.3160140303","volume":"14","author":"V. Bargmann","year":"1961","unstructured":"Bargmann, V. \u201cOn a Hilbert space of analytic functions and an associated integral transform\u201d, Communications in Pure and Applied Mathematics 14 (1961) 187\u2013214.","journal-title":"Communications in Pure and Applied Mathematics"},{"key":"23_CR6","first-page":"3","volume":"17","author":"M. Barr","year":"1976","unstructured":"Barr, M. \u201cDuality of vector spaces\u201d, Cahiers de Topologie et G\u00e9ometrie Differentielle 17 (1976) 3\u201314.","journal-title":"Cahiers de Topologie et G\u00e9ometrie Differentielle"},{"key":"23_CR7","first-page":"15","volume":"17","author":"M. Barr","year":"1976","unstructured":"Barr, M. \u201cDuality of Banach spaces\u201d, Cahiers de Topologie et G\u00e9ometrie Differentielle 17 (1976) 15\u201352.","journal-title":"Cahiers de Topologie et G\u00e9ometrie Differentielle"},{"key":"23_CR8","volume-title":"Lecture Notes in Mathematics 752","author":"M. Barr","year":"1979","unstructured":"Barr, M. *Autonomous Categories. Lecture Notes in Mathematics 752, Springer-Verlag, Berlin, Heidelberg, New York, 1979."},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","volume":"1","author":"M. Barr","year":"1991","unstructured":"Barr, M. \u201c*autonomous categories and linear logic\u201d, Mathematical Structures in Computer Science 1 (1991) 159\u2013178.","journal-title":"Mathematical Structures in Computer Science"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Benton, B.N., G. Bierman, V. de Paiva, and M. Hyland \u201cTerm assignment for intuitionistic linear logic (preliminary report)\u201d, Preprint, University of Cambridge, 1992.","DOI":"10.1007\/BFb0037099"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science 530","volume-title":"Categories and Computer Science, Paris 1991","author":"R.F. Blute","year":"1991","unstructured":"Blute, R.F. \u201cProof nets and coherence theorems\u201d, in Categories and Computer Science, Paris 1991, Lecture Notes in Computer Science 530, Springer-Verlag, Berlin, Heidelberg, New York, 1991."},{"key":"23_CR12","unstructured":"Blute, R.F. \u201cLinear Logic, Coherence and Dinaturality\u201d, to appear in Theoretical Computer Science."},{"key":"23_CR13","unstructured":"Blute, R. \u201cLinear Topology, Hopf Algebras and *-autonomous Categories\u201d, preprint, McGill University (1993)"},{"key":"23_CR14","unstructured":"Blute, R. \u201cBraided Proof Nets and Categories\u201d, in preparation, (1993)."},{"key":"23_CR15","unstructured":"Blute, R.F., J.R.B. Cockett, R.A.G. Seely, and T.H. Trimble \u201cNatural deduction and coherence for weakly distributive categories\u201d, Preprint, McGill University, 1992. (Submitted to JPAA)"},{"key":"23_CR16","unstructured":"Blute, R.F., J.R.B. Cockett, and R.A.G. Seely \u201c ! and ? for weakly distributive categories: Storage as tensorial strength\u201d, preprint, McGill University, in preparation."},{"key":"23_CR17","unstructured":"Cigler, J., V. Losert, P. Michor Banach Modules and Functors on Categories of Banach Spaces. Dekker, 1979"},{"key":"23_CR18","unstructured":"Cockett, J.R.B. and R.A.G. Seely \u201cWeakly distributive categories\u201d, in M.P. Fourman, P.T. Johnstone, A.M. Pitts, eds., Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series 177 (1992) 45\u201365."},{"key":"23_CR19","unstructured":"Conway, J. A Course in Functional Analysis. Springer Verlag Graduate Texts in Mathematics 96, (1990)"},{"key":"23_CR20","volume-title":"Abelian Categories: An introduction to the theory of functors","author":"P.J. Freyd","year":"1964","unstructured":"Freyd, P.J. Abelian Categories: An introduction to the theory of functors. Harper and Row, New York, 1964."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Geroch, R. Mathematical Physics. University of Chicago Press, 1985.","DOI":"10.7208\/chicago\/9780226223063.001.0001"},{"key":"23_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y. \u201cLinear logic\u201d, Theoretical Computer Science 50 (1987) 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"23_CR23","unstructured":"Girard, J.-Y. \u201cGeometry of interaction I: Interpretation of system F\u201d, Proceedings of ASL meeting, Padova, 1988."},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science 250","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0014972","volume-title":"Tapsoft'87, 2","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y. and Y. Lafont \u201cLinear logic and lazy computation\u201d, in Tapsoft'87, 2, Lecture Notes in Computer Science 250, Springer-Verlag, Berlin, Heidelberg, New York, 1987, 52\u201366."},{"key":"23_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.-Y. Girard","year":"1992","unstructured":"Girard, J.-Y., A. Scedrov, and P.J. Scott \u201cBounded linear logic\u201d, Theoretical Computer Science 97 (1992) 1\u201366.","journal-title":"Theoretical Computer Science"},{"key":"23_CR26","volume-title":"Mathematics Series","author":"R. Gunning","year":"1990","unstructured":"Gunning, R. Introduction to Holomorphic functions of several variables, Volume 1: Function theory. Mathematics Series, Wadsworth and Brooks\/Cole, Belmont CA, 1990."},{"key":"23_CR27","volume-title":"Introduction to Quantum Field Theory","author":"J Itzykson","year":"1980","unstructured":"Itzykson, J, and J. Zuber Introduction to Quantum Field Theory. McGraw-Hill, New York, 1980."},{"key":"23_CR28","volume-title":"Fundamentals of the Theory of Operator Algebras","author":"R.V. Kadison","year":"1983","unstructured":"Kadison, R.V. and J.R. Ringrose Fundamentals of the Theory of Operator Algebras. Academic Press, New York, 1983"},{"key":"23_CR29","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M. and M. La Plaza, \u201cCoherence for Compact Closed Categories\u201d, Journal of Pure and Applied Algebra 19 (1980) 193\u2013213.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"23_CR30","volume-title":"Algebra","author":"S. Lang","year":"1965","unstructured":"Lang, S. Algebra. Addison-Wesley Pub. Co., Reading, Menlo Park, London, Don Mills, 1965."},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Lefschetz, S. Algebraic Topology. AMS Colloquium Publications 27, 1941.","DOI":"10.1090\/coll\/027"},{"key":"23_CR32","volume-title":"Graduate Texts in Mathematics 5","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S. Categories for the Working Mathematician. Graduate Texts in Mathematics 5, Springer-Verlag, Berlin, Heidelberg, New York, 1971"},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science 389","volume-title":"Category Theory and Computer Science, Manchester 1989","author":"N. Mart\u00ed-Oliet","year":"1989","unstructured":"Mart\u00ed-Oliet, N. and J. Meseguer \u201cFrom Petri nets to linear logic\u201d, in D.H. Pitt et al., eds. Category Theory and Computer Science, Manchester 1989, Lecture Notes in Computer Science 389, Springer-Verlag, Berlin, Heidelberg, New York, 1989."},{"key":"23_CR34","series-title":"Lecture Notes in Computer Science 389","volume-title":"Category Theory and Computer Science","author":"V.C.V. Paiva de","year":"1989","unstructured":"de Paiva, V.C.V. \u201cA Dialectica-like model of linear logic\u201d, in D.H. Pitt et al., eds., Category Theory and Computer Science, Lecture Notes in Computer Science 389, Springer-Verlag, Berlin, Heidelberg, New York, 1989."},{"key":"23_CR35","doi-asserted-by":"crossref","first-page":"2506","DOI":"10.1063\/1.524041","volume":"20","author":"P. Panangaden","year":"1979","unstructured":"Panangaden, P. \u201cPositive and negative frequency decompositions in curved spacetimes\u201d, Journal of Mathematical Physics 20 (1979) 2506\u20132514.","journal-title":"Journal of Mathematical Physics"},{"key":"23_CR36","volume-title":"Ph.D. Thesis","author":"P. Panangaden","year":"1980","unstructured":"Panangaden, P. \u201cPropagators and Renormalization of Quantum Field Theory in Curved Spacetimes.\u201d, Ph.D. Thesis, Physics Department, University of Wisconsin-Milwaukee, 1980. Available through University Microfilms International, Ann Arbor."},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"Seely, R.A.G. \u201cLinear logic, *-autonomous categories and cofree coalgebras\u201d, in J. Gray and A. Scedrov (eds.), Categories in Computer Science and Logic, Contemporary Mathematics 92 (Am. Math. Soc. 1989).","DOI":"10.1090\/conm\/092\/1003210"},{"key":"23_CR38","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1215\/ijm\/1255632508","volume":"6","author":"E. Segal","year":"1962","unstructured":"Segal, E. \u201cMathematical characterization of the physical vacuum for linear Bose-Einstein fields\u201d, Illinois Journal of Mathematics 6 (1962) 500\u2013523.","journal-title":"Illinois Journal of Mathematics"},{"key":"23_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6188-9","volume-title":"Theory of Operator Algebras","author":"M. Takesaki","year":"1979","unstructured":"Takesaki M. Theory of Operator Algebras. Springer-Verlag, Berlin, Heidelberg, New York, 1979."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:16:28Z","timestamp":1605629788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}