{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:05:25Z","timestamp":1754481925420},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0049324","type":"book-chapter","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T18:58:16Z","timestamp":1141671496000},"page":"66-77","source":"Crossref","is-referenced-by-count":3,"title":["Is game semantics necessary?"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Blass","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"S. Abramsky and R. Jagadeesan, Games and full completeness for multiplicative linear logic, J. Symbolic Logic (to appear)."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"A. Blass, A game semantics for linear logic, Ann. Pure Appl. Logic 56 (1992), 183\u2013220.","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR3","unstructured":"P.-L. Curien, Concrete data structures, sequential algorithms, and linear logic, electronic posting on Types network (1992)."},{"key":"5_CR4","unstructured":"M. Dummett, Elements of Intuitionism, Oxford University Press, 1977."},{"key":"5_CR5","first-page":"245","volume":"28","author":"D. Gale","year":"1953","unstructured":"D. Gale and F. M. Stewart, Infinite games with perfect information, Ann. Math. Studies 28 (1953), 245\u2013266.","journal-title":"Ann. Math. Studies"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard, Linear logic, Theoret. Comp. Sci. 50 (1987), 1\u2013102.","journal-title":"Theoret. Comp. Sci."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Towards a geometry of interaction, Categories in Computer Science and Logic (J. Gray and A. Scedrov, eds.), Contemp. Math. 92, Amer. Math. Soc., 1989, pp. 69\u2013108.","DOI":"10.1090\/conm\/092\/1003197"},{"key":"5_CR8","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press, 1989."},{"key":"5_CR9","unstructured":"W. A. Howard, The formulae-as-types notion of construction, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (J. R. Hindley and J. P. Seldin, eds.), Academic Press, 1980, pp. 479\u2013490."},{"key":"5_CR10","unstructured":"J. M. E. Hyland and C.-H. L. Ong, Fair games and full completeness for multiplicative linear logic without the MIX-rule, preprint (1993)."},{"key":"5_CR11","unstructured":"F. Lamarche, Sequentiality, games and linear logic, preprint (1992)."},{"key":"5_CR12","unstructured":"P. Lorenzen, Ein dialogisches Konstruklivit\u00e4tskriterium, Infinitistic Methods, PWN, 1961, pp. 193\u2013200."},{"key":"5_CR13","unstructured":"H. Simmons, Logic and Computation \u2014 Taking the Curry-Howard Correspondence Seriously, Lecture notes distributed at the European Summer Meeting of the Association for Symbolic Logic, Keele, England, 1993."},{"key":"5_CR14","unstructured":"A. S. Troelstra and D. van Dalen, Constructivism in Mathematics \u2014 An Introduction, Vol.1, North-Holland, 1988."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0049324.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:55:39Z","timestamp":1607550939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0049324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582770"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0049324","relation":{},"subject":[]}}