{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T22:13:32Z","timestamp":1761948812524,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732273"},{"type":"electronic","value":"9783540732280"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73228-0_13","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:57:11Z","timestamp":1184601431000},"page":"163-177","source":"Crossref","is-referenced-by-count":23,"title":["Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic"],"prefix":"10.1007","author":[{"given":"Marcelo P.","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022251","volume-title":"Computer Science Logic","author":"N. Benton","year":"1995","unstructured":"Benton, N.: A mixed linear and non-linear logic: Proofs, terms and models. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, Springer, Heidelberg (1995)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Science Logic","author":"N. Benton","year":"1993","unstructured":"Benton, N., Bierman, G., de Paiva, V., Hyland, M.: Linear \u03bb-calculus and categorical models revisited. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, Springer, Heidelberg (1993)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0014046","volume-title":"Typed Lambda Calculi and Applications","author":"G. Bierman","year":"1995","unstructured":"Bierman, G.: What is a categorical model of intuitionistic linear logic? In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol.\u00a0902, pp. 78\u201393. Springer, Heidelberg (1995)"},{"issue":"6","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1017\/S0960129506005676","volume":"16","author":"R. Blute","year":"2006","unstructured":"Blute, R., Cockett, J., Seely, R.: Differential categories. Mathematical Structures in Computer Science\u00a016(6), 1049\u20131083 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Programming Semantics","author":"R. Blute","year":"1993","unstructured":"Blute, R., Panangaden, P., Seely, R.: Fock space: A model of linear exponential types (Corrected version of Holomorphic models of exponential types in linear logic). In: Main, M.G., Melton, A.C., Mislove, M.W., Schmidt, D., Brookes, S.D. (eds.) Mathematical Foundations of Programming Semantics. LNCS, vol.\u00a0802, Springer, Heidelberg (1993)"},{"issue":"5","key":"13_CR6","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1017\/S0960129502003729","volume":"12","author":"T. Ehrhard","year":"2002","unstructured":"Ehrhard, T.: On K\u00f6the sequence spaces and linear logic. Mathematical Structures in Computer Science\u00a012(5), 579\u2013623 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1017\/S0960129504004645","volume":"15","author":"T. Ehrhard","year":"2005","unstructured":"Ehrhard, T.: Finiteness spaces. Mathematical Structures in Computer Science\u00a015(4), 615\u2013646 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/j.tcs.2006.08.003","volume":"364","author":"T. Ehrhard","year":"2006","unstructured":"Ehrhard, T., Regnier, L.: Differential interaction nets. Theoretical Computer Science\u00a0364(2), 166\u2013195 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"1-3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","author":"T. Ehrhard","year":"2003","unstructured":"Ehrhard, T., Reigner, L.: The differential lambda-calculus. Theoretical Computer Science\u00a0309(1-3), 1\u201341 (2003)","journal-title":"Theoretical Computer Science"},{"key":"13_CR10","unstructured":"Fiore, M.: Generalised species of structures: Cartesian closed and differential structure. Draft (2004)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31982-5_2","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Fiore","year":"2005","unstructured":"Fiore, M.: Mathematical models of computational and combinatorial structures (Invited address for). In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 25\u201346. Springer, Heidelberg (2005)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Fiore, M., Gambino, N., Hyland, M., Winskel, G.: The cartesian closed bicategory of generalised species of structures. Preprint (2006)","DOI":"10.1112\/jlms\/jdm096"},{"key":"13_CR13","series-title":"Wiley Series in Pure and Applied Mathematics","volume-title":"Linear spaces and differentiation theory","author":"A. Fr\u00f6licher","year":"1988","unstructured":"Fr\u00f6licher, A., Kriegl, A.: Linear spaces and differentiation theory. Wiley Series in Pure and Applied Mathematics. Wiley-Interscience Publication, Chichester (1988)"},{"key":"13_CR14","volume-title":"Mathematical Physics","author":"R. Geroch","year":"1985","unstructured":"Geroch, R.: Mathematical Physics. University of Chicago Press, Chicago (1985)"},{"key":"13_CR15","unstructured":"Hyvernat, P.: A logical investigation of interaction systems. PhD thesis, Universit\u00e9 de la Mediterran\u00e9e, Aix-Marseille 2 (2005)"},{"key":"13_CR16","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511550812","volume-title":"Synthetic Differential Geometry","author":"A. Kock","year":"2006","unstructured":"Kock, A.: Synthetic Differential Geometry. London Mathematical Society Lecture Notes Series, vol.\u00a0333. Cambridge University Press, Cambridge (2006)"},{"key":"13_CR17","unstructured":"Lafont, Y.: Logiques, cat\u00e9gories et machines. PhD thesis, Universit\u00e9 Paris, 7 (1988)"},{"key":"13_CR18","unstructured":"Melli\u00e8s, P.-A.: Categorical models of linear logic revisited. Theoretical Computer Science (to appear)"},{"key":"13_CR19","unstructured":"Schalk, A.: What is a categorical model of linear logic? Notes for research students (2004)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Seely, R.: Linear logic, *-autonomous categories and cofree coalgebras. In: Applications of Categories in Logic and Computer Science. Contemporary Mathematics, vol.\u00a092 (1989)","DOI":"10.1090\/conm\/092\/1003210"},{"key":"13_CR21","unstructured":"Sweedler, M.: Hopf algebras. Benjamin, NY (1969)"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T16:38:37Z","timestamp":1578501517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73228-0_13"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732273","9783540732280"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73228-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}