{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:26Z","timestamp":1761611246571,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029295"},{"type":"electronic","value":"9783642029301"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02930-1_21","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:05:04Z","timestamp":1246532704000},"page":"247-260","source":"Crossref","is-referenced-by-count":26,"title":["An Explicit Formula for the Free Exponential Modality of Linear Logic"],"prefix":"10.1007","author":[{"given":"Paul-Andr\u00e9","family":"Melli\u00e8s","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Tabareau","sequence":"additional","affiliation":[]},{"given":"Christine","family":"Tasson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Ehrhard, T.: On finiteness spaces and extensional presheaves over the lawvere theory of polynomials. Journal of Pure and Applied Algebra (to appear)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Ehrhard, T.: Finiteness spaces. Mathematical. Structures in Comp. Sci.\u00a015(4) (2005)","DOI":"10.1017\/S0960129504004645"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"21_CR4","first-page":"46","volume":"1","author":"A. Joyal","year":"1977","unstructured":"Joyal, A.: Remarques sur la th\u00e9orie des jeux \u00e0 deux personnes. Gazette des Sciences Math\u00e9matiques du Qu\u00e9bec\u00a01(4), 46\u201352 (1977); English version by Robin Houston","journal-title":"Gazette des Sciences Math\u00e9matiques du Qu\u00e9bec"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"M. Kelly","year":"1980","unstructured":"Kelly, M., Laplaza, M.: Coherence for compact closed categories. Journal of Pure and Applied Algebra\u00a019, 193\u2013213 (1980)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"21_CR6","unstructured":"Lafont, Y.: Logique, cat\u00e9gories et machines. Th\u00e8se de doctorat, Universit\u00e9 de Paris 7, Denis Diderot (1988)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Lefschetz, S., et al.: Algebraic topology. American Mathematical Society (1942)","DOI":"10.1090\/coll\/027"},{"key":"21_CR8","unstructured":"Melli\u00e8s, P.A., Tabareau, N.: Free models of T-algebraic theories computed as Kan extensions. Submitted to Journal of Pure and Applied Algebra"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.entcs.2004.06.057","volume":"122","author":"P.A. Melli\u00e8s","year":"2005","unstructured":"Melli\u00e8s, P.A.: Asynchronous Games 3: An Innocent Model of Linear Logic. Electronic Notes in Theoretical Computer Science\u00a0122, 171\u2013192 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Seely, R.: Linear logic, *-autonomous categories and cofree coalgebras. In: Applications of categories in logic and computer science, vol.\u00a0(92), Contemporary Mathematics (1989)","DOI":"10.1090\/conm\/092\/1003210"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02930-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:49:34Z","timestamp":1558403374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02930-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029295","9783642029301"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02930-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}