{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:58:32Z”，“时间戳”：1725487112601}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540732273“}，{”类型“：“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-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”时间戳“：1184601431000}，”页面“：”23-38“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“基于可伸缩动作的Tarski游戏的直觉算术语义”]，“prefix”：“10.1007”，”author“：[{”given“：”Stefano“，”family“：”Berardi“，”sequence“：”first“，”affiliation“：[]}]，”member“：”297“，”reference“：[}”doi-ased-by“：”Crossref“，“unstructured”：“Berardi，S.：基于Tarski Games with retractable moves的直觉算术语义技术报告，都灵大学（2007年1月），http://www.di.unito.it\/~stefano\/Berardi-GamesForIntuitionisicLogic-2007-01。pdf“，”key“：”4_CR1“，”DOI“：”10.1007\/978-3-540-73228-0_4“}，”{“非结构化”：“Berardi，S.：Coquand，Th.，Hayashi，S.:1-backtracking游戏。In:GaLop，Edinburgh（2005年4月）的会议记录”，“key”：“4_CR2”}，{“unstructured”：“Beradi，S，Yamagata，Y.：1-backtricking的连续演算，技术报告，都灵大学，CL&C（2006），提交给APAL大会专刊（2005年12月），http://www.di.unito.it\/~stefano，Yamagata-Berardi-report.pdf，“key”：“4_CR3”}，{“unstructured”：“Coquand，T.：经典算术证据语义（初版）。In：Huet，G.，Plotkin，G.和Jones，C.（eds.）《逻辑框架第二次研讨会论文集》，爱丁堡（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.：经典算术的证据语义学。符号逻辑杂志\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游戏语义哲学逻辑手册”，“author”：“W.Felscher”，“year”：“2002”，“unstructured”：“Felscher，W.：Lorentzen\u2019s《哲学逻辑游戏语义手册》，第2版。第u00a05卷，第115\u2013145页。Kluwer Academic Publisher，The Netherlands（2002）“，”edition“：”2“}，{”key“：”4_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first-page“：”11“，”doi“：”10.1007\/11417170_3“，“volume-title”：“Lambda Calculi and Applications”，“author”：“S.Hayashi”，“year”：“2005”，“unstructured”：“”Hayashi，S.：游戏能为校样制作动画吗。收录：Urzyczyn，P.（编辑）TLCA 2005。LNCS，第u00a03461卷，第11\u201322页。Springer，Heidelberg（2005）“}，{“非结构化”：”Herbelin，H.：序列qu\u2019on calcule:de l\u2019解释du calculates des Sequents comme calcul de lambda-termes et comme calcl de strategies gagnantes，巴黎大学博士论文（1995）“，“key”：“4_CR8”}，}“非结构”：“Hodges，W.：逻辑与游戏。In:Zalta，E.N.（ed.）斯坦福大学哲学百科全书（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.：关于PCF的完全抽象。信息与计算\u00a0163，285\u2013408（2000）“，”日记标题“：”信息与计算“}]，”容器标题“：[”计算机科学讲义“，”键入的Lambda Calculi与应用程序“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73228-0_4“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”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”：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[2007]]}，“ISBN”：[“9783540732273“，”978354073 2280“]，”references-count“：10，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-73228-0_4“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“electronic”，“值”：“1611-3399”}]，“主题”：[]，“已发布”：{“日期部分”：[[2007]]}}