{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T18:08:06Z","timestamp":1776017286042,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540875307","type":"print"},{"value":"9783540875314","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87531-4_18","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T08:40:53Z","timestamp":1220085653000},"page":"230-245","source":"Crossref","is-referenced-by-count":7,"title":["Quantitative Game Semantics for Linear Logic"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Dal Lago","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Laurent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Publications of the Newton Institute","first-page":"1","volume-title":"Semantics and Logics of Computation","author":"S. Abramsky","year":"1997","unstructured":"Abramsky, S.: Semantics of interaction. In: Dybjer, P., Pitts, A. (eds.) Semantics and Logics of Computation. Publications of the Newton Institute, pp. 1\u201332. Cambridge University Press, Cambridge (1997)"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"163","author":"S. Abramsky","year":"2000","unstructured":"Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Information and Computation\u00a0163(2), 409\u2013470 (2000)","journal-title":"Information and Computation"},{"key":"18_CR3","unstructured":"Baillot, P.: Approches dynamiques en s\u00e9mantique de la logique lin\u00e9aire\u00a0: jeux et g\u00e9om\u00e9trie de l\u2019interaction. Th\u00e8se de doctorat, Universit\u00e9 Aix-Marseille\u00a0II (1999)"},{"issue":"1-2","key":"18_CR4","first-page":"1","volume":"45","author":"P. Baillot","year":"2001","unstructured":"Baillot, P., Pedicini, M.: Elementary complexity and geometry of interaction. Fundamenta Informaticae\u00a045(1-2), 1\u201331 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"18_CR5","first-page":"169","volume-title":"Proc. 21st Symposium on Logic in Computer Science","author":"U.D. Lago","year":"2006","unstructured":"Lago, U.D.: Context semantics, linear logic and computational complexity. In: Proc. 21st Symposium on Logic in Computer Science, pp. 169\u2013178. IEEE, Los Alamitos (2006)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/LICS.1996.561456","volume-title":"Proc. 11th Symposium on Logic In Computer Science","author":"V. Danos","year":"1996","unstructured":"Danos, V., Herbelin, H., Regnier, L.: Games semantics and abstract machines. In: Proc. 11th Symposium on Logic In Computer Science, pp. 394\u2013405. IEEE, Los Alamitos (1996)"},{"key":"18_CR7","unstructured":"de Carvalho, D., Pagani, M., de Falco, L.T.: A semantic measure of the execution time in linear logic. Technical Report 6441, INRIA (2007)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Ghica, D.: Slot games: A quantitative model of computation. In: Proc. 32nd ACM Symposium on Principles of Programming Languages, pp. 85\u201397 (2005)","DOI":"10.1145\/1040305.1040313"},{"key":"18_CR9","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/CBO9780511629150.017","volume-title":"Advances in Linear Logic","author":"J.-Y. Girard","year":"1995","unstructured":"Girard, J.-Y.: Geometry of interaction III: accommodating the additives. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Note Series, vol.\u00a0222, pp. 329\u2013389. Cambridge University Press, Cambridge (1995)"},{"key":"18_CR10","series-title":"Publications of the Newton Institute","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1017\/CBO9780511526619.005","volume-title":"Semantics and Logics of Computation","author":"M. Hyland","year":"1997","unstructured":"Hyland, M.: Game semantics. In: Dybjer, P., Pitts, A. (eds.) Semantics and Logics of Computation. Publications of the Newton Institute, pp. 131\u2013184. Cambridge University Press, Cambridge (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87531-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:13:11Z","timestamp":1715058791000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87531-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875307","9783540875314"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87531-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}