{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:00:50Z”，“时间戳”：1725483650026}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540656”7637“}，{”类型“：“electronic”，“value”：“9783540489597”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_6“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16”Z“，”时间戳“：1178211136000}，”页面“：”54-68“，”源“：“Crossref”，“is-referenced-by-count”：1，“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”，“afliation”：[]{“member”：“297”，“published-on-line”：{“日期部分”：[[2002,5,27]]}，“reference”：[{“key”：“6_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”S.Abramsky，\u201cSemantics of Interaction \u201d，《计算的语义和逻辑》，A.Pitts和p.Dybjer eds.，剑桥大学出版社1997，1\u201331.“，”doi“：”10.1017\/CBO9780511526619.002“}，{“issue”：“2”，“key“：”6_CR2“，”doi-assert-by“：”publisher“，“first page”：“543”，“DOI”：“10.2307\/2275407”，“volume”：“59”，“author”：“S.Abramsky”，“year”：“1994”，“unstructured”：“S.Abramsky，R.Jagadeesan，\u201cGames and full complete for multipative linear logic\u201d，Journal of Symbolic logic 59：“Lect Notes Compute Sci”，“first page”：“1”，“volume-title”：“TACS\u201994会议录”，“author”：“S.Abramsky”，“year”：“1994”，“unstructured”：“S.Abramsky，R.Jagadeesan，P.Malacaria，\u201cPCF\u201d的完全抽象，TACS\u 201994的会议录，Springer计算机科学讲座笔记789，1994，1\u201315。”}，{“key”：。Berardi，M.Bezem，T.Coquand，《关于选择公理的建设性内容》，《符号逻辑杂志》即将出版。“}，{”key“：”6_CR5“，”unstructured“：”S.Berardi，T.Coquand，\u201cTransfinited Games\u201d，1996年9月。“}6_CR7“，”doi-asserted-by“：”publisher“，”first page“：”325“，”DOI“：”10.2307\/2275524“，”volume“：“60”，”author“：”T.Coquand“，”year“：”1995“，”unstructured“：”T.Coquant，\u201cA Semantics of Evidence for Classical Arithmetic\u201d，Journal of Symbolic Logic 60，1995，325\u2013337.“，”Journal title“：”Journal for Symbolic-Logic“}，{“key”：“6_CR8”，“unstructure”：“H。赫伯林。S\u00e9序列qu\u2019关于微积分。巴黎第七大学博士论文，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.，剑桥大学出版社1997，131\u2013184。”，“doi”：“10.1017\/CBO9780511526619.005”}，“key“：”“6_CR10”，“非结构化”：“JM.E。Hyland，C.-H.L.Ong，\u201c关于PCF\u201d的完全抽象，可通过ftp在ftp:/\/ftp.comlab.ox.ac.uk \/pub\/Documents\/techpapers\/Luce上获得。Ong，as pcf.ps.gz，1994.“}，{“volume-title”：“遗传序列函数：序列性的博弈论方法”，“year”：“1996”，“author”：“H.Nickau”，“key”：“6_CR11”，“unstructured”：“H·Nickao，遗传序列函数（Hereditary Sequential Functionals:A Game-Thetic Approach to Sequentiality），Shaker-Verlag，Achen 1996。Plotkin，\u201cFull Abstraction，Totality and PCF\u201d，可通过ftp在ftp:\/\/ftp.lfcs.ed.ac.uk\/pub\/gdp\/as Totality.ps.gz获得，1997.“}]，“container-title”：[“计算机科学中的讲义”，“类型化Lambda Calculi and Applications”]，“原始标题”：[]，“链接”：[{“URL”：“http://link.springer.com/content\/pdf\/10007\/3-540-48959-2_6英寸content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,4,21]]，”date-time“：“2020-04-21T17:45:18Z”，“timestamp”：1587491118000}，“score”：1，“resource”：{“primary”:{“URL”：“http://link.springer.com\/10007\/3-540-48959-2_6”}}，”subtittle“：[]，“短标题”：[]，“已发布”：{日期部分”：[[1999]]｝，“国际标准图书编号”：[“9783540657637”，“9783540489597”]，“参考文献计数”：12，“URL”：“http:\/\/dx.doi.org/10.1007\/3-540-48959-2_6”，“关系”：｛｝，“ISSN”：[“0302-9743”]，“ISSN类型”：[｛“类型”：“打印”，“值”：“0302-9743”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[1999]]｝｝