{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,8,12]，“日期-时间”：“2024-08-12T18:32:43Z”，“时间戳”：1723487563718}，“引用-计数”：17，“发布者”：“Elsevier BV”，“许可证”：[{“开始”:{“日期-零件”：[[2010,9,1]]，“日期时间”：”2010-09-01T00:00:00 0:00Z“，”时间戳“：1283299200000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short container-title”：[“Electronic Notes in Theory Computer Science”]，“published-print”：{“date-parts”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.014“，”type“：”journal-article“，”created“：{”date-parts:[[2010,19,4]]，“date-time”：“2010-09-04T07:15:21Z”，“timestamp”：1283584521000}，《page》：“231-244”，“source”：“Cross”参考“，“被count引用”：8，“special_numbering”：“C”，“title”：[“Understanding Game Semantics Through Coherence Spaces”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[｛”given“：“Ana C.”，“family”：“Calderon”，“sequence”：“first”，“affiliation”：[]｝，“given”：“Guy”，“family”：“McCusker”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛”key：“10.1016\/j.entcs.2010.08.014_br0010”，“series-title”：“软件技术和理论计算机科学基础”，“首页”：“291”，“文章-标题”：“乘法线性逻辑的游戏和完全完备性”，“作者”：“Abramsky”，“年份”：“1992”}，{“key”：“10.116\/j-entcs.2010.08.014_br0020”，”doi-asserted-by“：”crossref“，”第一页“409”，“DOI”：“10.1006\/inco.2000.2930”，“article-title”：“PCF的完全抽象”，“volume”：“163”，“author”：“Abramsky”，“year”：“2000”，“journal-title“：“Information and Calculation”}，{“key”：”10.1016\/j.entcs.2010.08.014_br0030“，”DOI-asserted-by“：”crossref“，”first page“：”2“，”DOI“：”10.116\/S1571-0661（05）80398-6“，”文章标题“：“线性、共享和状态：具有主动表达式的理想化Algol的完全抽象游戏语义（扩展抽象）”，“卷”：“3”，“作者”：“Abramsky”，“年份”：“1996”，“期刊标题”：“理论计算机科学中的电子笔记”}，{“key”：“10.1016\/j.entcs.2010.014_br0040”，“series-title”：“计算机科学逻辑：第11届国际研讨会论文集，EACSL”，“首页”：“56”，“文章标题”：“永恒的游戏”，“卷”：“卷1414”，“作者”：“Baillot”，“年份”：“1998”}，{“键”：“10.1016\/j.entcs.2010.014_br0050”，“doi-asserted-by”：“crossref”，“非结构化”：“Baillot，P.，V.Danos，T.Ehrhard and L。Regnierl，信不信由你，ajm的游戏模型是经典线性逻辑的模型，见：第十二届计算机科学逻辑年会（1997），第68页\u201375厚子树，游戏和实验”，“卷”：“数字5608”，“作者”：“Boudes”，“年份”：“2009”}，{“key”：“10.1016\/j.entcs.2010.08.014_br0070”，“series-title”：“证明和类型”，“author”：“Girard”，“年”：“1989”}M.Hyland和P.-A。Melli\u00e8s，无害策略的分类组合学，收录于：Proceedings，第22届IEEE计算机科学逻辑研讨会（2007），第379\u2013388页关于PCF的完全抽象：I、II和III“，”volume“：”163“，”author“：”Hyland“，”year“：”2000“，”journal-title“：”Information and Calculation“}，”{“key”：“10.1016\/j.entcs.2010.08.014_br0100”，“doi-asserted-by”：“crossref”，“first-page:”127“，“doi”：“101016\/S1571-0661（05）80312-3”，“article-title”：“线性逻辑扩展抽象的抽象游戏”，“volume”：29”，“author”：“Hyland”，“year”：“1999”，“journal-title”：“理论计算机科学中的电子笔记”}，{“key”：“10.1016\/j.entcs.2010.014_br0110”，“doi-asserted-by”：“crossref”，“unstructured”：“Laird，j.，《高阶存储的范畴语义》，收录于：R.Blute和P。Selinger，编辑，《第九届类别理论与计算机科学会议论文集》，CTCS 2002，《理论计算机科学电子笔记》（2003）。“，”DOI“：”10.1016\/S1571-0661（04）80566-8“｝，｛”key“：”10.1016\/j.entcs.2010.08.014_br0120“，”DOI断言“：”crossref“，”首页“：”1“，”DOI“：”10.1006\/inco.1999.2845“，”文章标题“：”FPC的游戏和完全抽象“，”卷“：”160“，”作者“：”McCusker“，”年份“：”2000“，”期刊标题“：”信息与计算“｝，｛”key“：”10.1016\/j.entcs.2010.08.014_br0130“，”doi-asserted-by“：”crossref“，”first page“：”171“，“doi”：“10.1016\/j.entcs.2004.06.057”，“article-title”：“异步游戏3：线性逻辑的无辜模型”，“volume”：“122”，“author”：“Melli\u00e8s”，“year”：“2005”，“journal-title“：”Electron。注释Theor。计算。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.014_br0140“，”doi-asserted-by“：”crossref“，”unstructured“：”Mellies，P.-A.，Asynchronous games 4:命题线性逻辑的完整模型，收录于：LICS’05:第20届IEEE计算机科学中的逻辑研讨会论文集（2005），第386\u2013395页。“，”doi“：”101109\/LICS.2005.6“}”，{“key”：“”10.1016\/j.entcs.2010.08.014_br0150“，”doi-asserted-by“：”crossref“，”first page“：”237“，”doi“：”10.1016\/j.tcs.2005.05.015“，”article-title“：”Sequential algorithms and strong stable functions“，”volume“：“343”，“author”：“Melli\u00e8s”，“year”：“2005”，“journal-title”：“Theor。计算。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.014_br0160“，”doi-asserted-by“：”crossref“，”first page“：“200”，“doi”：“10.1016\/j.tcs.2006.01.016”，“article-title”：“异步游戏2：纯真的并发”，“volume”：“358”，“author”：“Melli\u00e8s”，“year”：“2006”，“journal-title“：”Theor.Comput.Sci.“}”，{“key”：“10.1016\/j.entcs.2010.08.014_br0170”，“doi-asserted-by“：”crossref“，”first page“：”7“，”doi“：”10.1007\/BF01806032“，”article-title“：”全局状态被认为是不必要的：无干扰命令式程序的基于对象的语义“，”volume“：“9”，”author“：”Reddy“，”year“：”1996“，”journal-title理论计算机科学电子笔记“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000939？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000939？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,12,8]]，“date-time”：“2018-12-08T02:24:49Z”，“timestamp”：1544235889000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/S157 1066110000939“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2010,9]]}，”references-count“：17，”alternative-id“：[”S1571066110000939“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2010.08.014“，”relation“：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“value”：“1571-661”，“type”:“print”}]，“subject”：【]，“已发布”：{“日期部分”：[[2010,9]]}}}