{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:32Z","timestamp":1725487112601},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732273"},{"type":"electronic","value":"9783540732280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73228-0_4","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:57:11Z","timestamp":1184601431000},"page":"23-38","source":"Crossref","is-referenced-by-count":4,"title":["Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Berardi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Berardi, S.: Semantics for Intuitionistic Arithmetic based on Tarski Games with retractable moves Technical Report, Turin University (January 2007), http:\/\/www.di.unito.it\/~stefano\/Berardi-GamesForIntuitionisticLogic-2007-01. pdf","key":"4_CR1","DOI":"10.1007\/978-3-540-73228-0_4"},{"unstructured":"Berardi, S.: Coquand, Th., Hayashi, S.: Games with 1-backtracking. In: Proceedings of GaLop, Edinburgh (April 2005)","key":"4_CR2"},{"unstructured":"Berardi, S., Yamagata, Y.: A sequent calculus for 1-backtracking, Technical Report, Turin University, CL&C (2006), Submitted to the special issue of APAL for the congress (December 2005) , http:\/\/www.di.unito.it\/~stefano\/Yamagata-Berardi-report.pdf","key":"4_CR3"},{"unstructured":"Coquand, T.: A semantics of evidence for classical arithmetic (preliminary version). In: Huet, G., Plotkin, G., Jones, C. (eds.) Proceedings of the Second Workshop on Logical Frameworks, Edinburgh (1991), http:\/\/www.dcs.ed.ac.uk\/home\/lego\/html\/papers.html","key":"4_CR4"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.2307\/2275524","volume":"60","author":"T. Coquand","year":"1995","unstructured":"Coquand, T.: A semantics of evidence for classical arithmetic. Journal of Symbolic Logic\u00a060, 325\u2013337 (1995)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-94-017-0458-8_2","volume-title":"Lorentzen\u2019s game semantics Handbook of Philosophical Logic","author":"W. Felscher","year":"2002","unstructured":"Felscher, W.: Lorentzen\u2019s game semantics Handbook of Philosophical Logic, 2nd edn. vol.\u00a05, pp. 115\u2013145. Kluwer Academic Publisher, The Netherlands (2002)","edition":"2"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/11417170_3","volume-title":"Typed Lambda Calculi and Applications","author":"S. Hayashi","year":"2005","unstructured":"Hayashi, S.: Can proofs be animated by games. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 11\u201322. Springer, Heidelberg (2005)"},{"unstructured":"Herbelin, H.: Sequents qu\u2019on calcule: de l\u2019interpretation du calcul des sequents comme calcul de lambda-termes et comme calcul de strategies gagnantes, Ph. D. thesis, University of Paris VII (1995)","key":"4_CR8"},{"unstructured":"Hodges, W.: Logic and Games. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Winter 2004), http:\/\/plato.stanford.edu\/archives\/win2004\/entries\/logic-games\/","key":"4_CR9"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"M. Hyland","year":"2000","unstructured":"Hyland, M., Ong, L.: On full abstraction for PCF. Information and Computation\u00a0163, 285\u2013408 (2000)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:16:17Z","timestamp":1556680577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73228-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732273","9783540732280"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73228-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}