{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T23:10:07Z","timestamp":1773097807341,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657637","type":"print"},{"value":"9783540489597","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48959-2_6","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T16:52:16Z","timestamp":1178211136000},"page":"54-68","source":"Crossref","is-referenced-by-count":3,"title":["Total Functionals and Well-Founded Strategies"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Berardi","sequence":"first","affiliation":[]},{"given":"Ugo","family":"de\u2019Liguoro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, \u201cSemantics of Interaction\u201d, in Semantics and Logics of Computation, A. Pitts and p. Dybjer eds., Cambridge University Press 1997, 1\u201331.","DOI":"10.1017\/CBO9780511526619.002"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky, R. Jagadeesan, \u201cGames and full completeness for multiplicative linear logic\u201d, Journal of Symbolic Logic 59(2), 1994, 543\u2013574.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of TACS\u201994","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky, R. Jagadeesan, P. Malacaria, \u201cFull abstraction for PCF\u201d, Proceedings of TACS\u201994, Springer Lecture Notes in Computer Science 789, 1994, 1\u201315."},{"key":"6_CR4","unstructured":"S. Berardi, M. Bezem, T. Coquand, \u201cOn the Constructive Content of the Axiom of Choice\u201d, Journal of Symbolic Logic, to appear."},{"key":"6_CR5","unstructured":"S. Berardi, T. Coquand, \u201cTransfinite Games\u201d, September 1996."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"A. Blass, \u201cA game semantics for linear logic\u201d, Annals of Pure and Applied Logic 56, 183\u2013220.","DOI":"10.1016\/0168-0072(92)90073-9"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"325","DOI":"10.2307\/2275524","volume":"60","author":"T. Coquand","year":"1995","unstructured":"T. Coquand, \u201cA Semantics of Evidence for Classical Arithmetic\u201d, Journal of Symbolic Logic 60, 1995, 325\u2013337.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR8","unstructured":"H. Herbelin. S\u00e9equents qu\u2019on calcule. Ph.D. thesis, Univeristy of Paris VII, 1995."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland, \u201cGame Semantics\u201d, in Semantics and Logics of Computation, A. Pitts and p. Dybjer eds., Cambridge University Press 1997, 131\u2013184.","DOI":"10.1017\/CBO9780511526619.005"},{"key":"6_CR10","unstructured":"J.M.E. Hyland, C.-H.L. Ong, \u201cOn full abstraction for PCF\u201d, available by ftp at ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/Documents\/techpapers\/Luke.Ong\/ as pcf.ps.gz, 1994."},{"key":"6_CR11","volume-title":"Hereditarily Sequential Functionals: A Game-Theoretic Approach to Sequentiality","author":"H. Nickau","year":"1996","unstructured":"H. Nickau, Hereditarily Sequential Functionals: A Game-Theoretic Approach to Sequentiality, Shaker Verlag, Achen 1996."},{"key":"6_CR12","unstructured":"G. Plotkin, \u201cFull Abstraction, Totality and PCF\u201d, available by ftp at ftp:\/\/ftp.lfcs.ed.ac.uk\/pub\/gdp\/ as Totality.ps.gz, 1997."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48959-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T17:45:18Z","timestamp":1587491118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48959-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657637","9783540489597"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48959-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}