{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,28]]，“日期-时间”：“2023-11-28T14:00:06Z”，“时间戳”：1701180006247}，“引用-计数”：35，“发布者”：“Elsevier BV”，“问题”：“2-3”，“许可证”：[{“开始”：{:“日期-零件”：[2005,7,1]]，07-01T00:00:00Z“，”时间戳“：1120176000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：2938，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,7]]}，”DOI“：”10.1016\/j.apal.2004.08.003“，”type“：”journal-article“，”created“：“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“类型lambda-calculi的线性可实现性和完整性”]，“前缀”：“10.1016”，“卷”：“134”，“作者”：[{“给定”：“Samson”，“家族”：“Abramsky”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Marina”，“密钥”：“10.1016\/j.apal.2004.08.003_b1”，“首页”：“1”，“article-title”：“在进程代数中检索一些路径”，“卷”：“vol.1119”，“作者”：“Abramsky”，“年份”：“1996”}，{“key”：“10.106\/j-apal.2004.018.003_52”，“非结构化”：“S.Abramski，Interaction，Combinators，and Complexity，Notes，Siena，Italy 1997”}3英寸，“系列标题”：“证明、语言和互动：纪念罗宾·米尔纳的论文”，“第一页”：“55”，“文章标题”：“可定义性和完全完整性的公理”，“作者”：“阿布拉姆斯基”，“年份”：“2000”}，{“密钥”：“10.1016\/j.apal.2004.08.003_b4”，“系列标题”：“LCCS 2001:计算机科学中的逻辑和复杂性国际研讨会论文集，LACL”，“首页”：“1”，“文章标题”：“可逆计算的结构方法”，“作者”：“Abramsky”，“年份”：“2001”}，{“问题”：“一”，“关键”：“10.1016\/j.apal.2004.08.003_b5”，“doi-asserted-by”：“crossref”，《首页》：“53”，“doi”：“10.1006\/inco.1994.1041”，“article-title”：“交互几何的新基础”，“volume”：“111”，“author”：“Abramsky”，“year”：“1994”，“journal-title“：“Inform.and Compute.”}，{“issue”：“2”，“key”：”10.1016\/j.apal.2004.08.003_b6“，”doi-asserted-by“：”crossref“，”first page“：”543“，”doi“：”10.2307\/2275407“，”article蒂尔”：“乘法线性逻辑的游戏和完整性”，“卷”：“59”，“作者”：“Abramsky”，“年份”：“1994”，“日志标题”：“J.符号逻辑”}，{“键”：“10.1016\/J.apal.2004.08.003_b7”，“doi-asserted-by”：“crossref”，“首页”：“409”，“doi”：“101006\/inco.2000.2930”，“文章标题”：”PCF的完全抽象“，“卷“163”，阿姆斯基”，“year”：“2000”，“journal-title”：“Inform.and Compute.”}，{“key”：“10.1016\/j.apal.2004.08.003_b8”，“doi-asserted-by”：“crossref”，“unstructured”：“S.Abramsky，M.Lenisa，ML多态类型的完全模型，技术报告ECS-LFCS-99-414，LFCS，1999”，“doi”：“101007\/3-540-44622-2_9”}“首页”：“140”，“article-title”：“ML多态类型的完整PER模型”，“volume”：“vol.1862”，“author”：“Abramsky”，“year”：“2000”}，{“key”：”10.1016\/j.apal.2004.08.003_b10“，“first-page”：“141”，“article-title:”ML多态性类型的完全完备模型公理化“，“volumber 1893”，“author”:“Abramky”，”year“：”2000“}”，{：“10.1016\/j.apal.2004.08.003_b11”，“first page”：“443”，“article-title”：“简单类型\u03bb-calculus的完全完备最小PER模型”，“volume”：《第2142卷》，“author”：“Abramsky”，“year”：“2001”}，{“key”：”10.1016//j.apal.2004.08.003 _b12“，“unstructured”：“S.Abram sky，j。Longley，基于hystor-free策略的可实现性模型，Draft paper，1999“}，{”issue“：”5“，”key“：”10.1016\/j.apal.2004.08.003_b13“，”doi-asserted-by“：”crossref“，”first page“：“625”，“doi”：“10.1017\/S096012902003730”，“article-title”：“交互几何与线性组合代数”，“volume”：“12”，“author”：“Abramsky”，“year”：“2002”，“journal-title“：”数学。结构计算。科学。“}，{”key“：”10.1016\/j.apal.2004.08.003_b14“，”unstructured“：”A.Asperti，G.Longo，Categories，types and structures:A introduction to category theory to introductions to Categories theory for the working computer scients，in：Foundations of Computing Series，the MIT Press，1991“}”，{“key”：“10.1016\/j.apal.2004.0803_b15”，“Series-title”：“Lambda Calculus，itsauthor“：”Barendregt“，”year“：”1984“}，{“key”：“10.1016\/j.apal.2004.08.003_b16”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Benton，P.Wadler，线性逻辑，单子和lambda演算，in：LICS\u2019961996”，“doi”：“101109\/LICS.1996.561458”}，}“key”：“10.0016\/j.apal.2004.08.003 _b17”，“首页”：“78”，“文章”le-title“：”直觉主义线性逻辑的范畴模型是什么？“，”volume“：”vol.902“，”author“：”Bierman“，”year“：”1995“｝，｛”key“：”10.1016\/j.apal.2004.08.003_b18“，”doi断言“：”crossref“，”首页“：”85“，”doi“：”10.1016\/00304-3975（88）90097-7“，”文章标题“：”多态性的扩展模型“，”volume“：”59“，”author“：”Breazu Tannen“，”year“：”1988“，”期刊标题“：”Theoret.Comput.Sci.“｝，｛”键“：”10.1016\/j.apal.2004.08.003_b19”，“doi asserted by”：“crossref”，“unstructured”：“R.Crole，Categories for Types，Cambridge University Press，1993”，“doi”：“10.1017\/CBO9781139172707”｝，｛“key”：“10.1016\/j.apal.2004.08.003_b20”，“首页”：“114”，“文章标题”：“非类型化\u03bb微积分的游戏语义”，“volume”：“vol.1581”，“author”：“Di Giantonio”，“年份“：”1999“}，{“key”：“10.1016\/j.apal.2004.08.003_b21”，“unstructured”：“j.Y.Girard，解释\u00e9tation functionelle et \u00e 9limunation des coupures de l\u2019arithm\u00e8tique d\u2019ordre sup\u00er9rieur，Th\u00ese d\u209Etat，巴黎第七大学，1972”}，}，“key““，”doi-asserted-by“：”crossref“，”first page“：”69“，”DOI“：”10.1090\/conm\/092\/1003197“，”article-title“：”Towards a geometry of interaction“，”volume“：”92“，”author“：”Girard“，”year“：”1989“，”journal-title”：“Contemp”。数学。“}，{”key“：”10.1016\/j.apal.2004.08.003_b23“，”unstructured“：”D.j.D.Hughes，Hypergame semantics:System F的完整性，牛津大学博士论文，1999“}”，{“key”：“10.1016\/j.apal.2004.08.03_b24”，“doi-asserted-by”：“crossref”，“first page”：”285“，”doi“：”101006\/inco.2000.2917“，”article-title“：”On full abstraction for PCF“，”volume“：“”163“，”author“：”Hyland“，”year“：”2000“，”journal-title“：”Inform“。和计算。“}，{”key“：”10.1016\/j.apal.2004.08.003_b25“，”first page“：，“article-title”：“跟踪单体分类”，“卷”：“119”，“作者：“乔亚尔”，“年份”：“1996年”，“新闻标题”：“数学”。程序。外倾角。Phil.Soc.“}，{“key”：“10.1016\/j.apal.2004.08.003_b27”，“首页”：“405”，“文章标题”：“非类型化\u03bb微积分的更通用的博弈模型：B\u00f6hm树反击”，“volume”：“vol.1683”，“author”：“Ker”，“year”：“1999”}，{“key”：“10.1016\/j.apal.2004.08.003_b28”，“非结构化”：“j.Laird，Games，control and full abstraction，Ph.D。爱丁堡大学论文，2000年“}，{“key”：“10.1016\/j.apal.2004.08.003_b29”，“series-title”：“范畴逻辑应用研讨会”，“文章-标题”：“超学说中的平等和理解图式作为伴随函子”，“author”：“Lawvere”，“year”：“1970”}，“key“：”10.1016\/j.apal.2004.0803_b30“，“unstructured”：“R。Loader，A Algorithm for the Minimal Model，Note，1997“}，{”key“：”10.1016\/j.apal.2004.08.003_b31“，”first page“：“201”，“article-title”：“所有最小模型的可判定性”，“volume”：“vol.1158”，“author”：“Padovani”，“year”：“1996”}，}“key”：”10.116\/j-apal.2004.0 8.003_532“，”首页“：”12“article-title“Polymorphia is set-theoretic constructively”，“volume“：”vol.283“，”author“：”Pitts“，”year“：”1988“}，”{“key”：“10.1016\/j.apal.2004.08.003_b33”，”unstructured“：”R.Seely，Polymorphic linear logic and topos models，in：Math.Reports，Academy of Science（Canada）XII，1990“}”，{“issue”：“1”，”key“：“10.116\/j-apal.2004.018.003_b34”，”doi-asserted-by“：”crossref“，”doi“：”10.2307\/2273377“，“文章标题”：“完整性、不变性和\u03bb-definitibility“，“卷”：“47”，“作者”：“Statman”，“年份”：“1982”，“日志标题”：“J.符号逻辑”}，{“键”：“10.1016\/J.apal.2004.08.003_b35”，“doi-asserted-by”：“crossref”，“首页”：“21”，“doi”：“101007\/BF02023009”，“文章标题”：卷“：”23“，”作者“：”Statman，“年份”：“1983年”，“新闻标题”：“Arch。数学。Logic“}]，”container-title“：[“Pure and Applied Logic年鉴”]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0168007204001642？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com\/content\/article\/PII:S016168007204001642？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2023,4,30]]，“date-time”：“2023-04-30T22:41:43Z”，“timestamp”：1682894503000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com/retrieve\/pii\/S016800 7204001642“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2005,7]]}，”references-count“：35，”journal-sissue“：{“issue”：“2-3”，“published-print”：{“date-part”：[[20005,7]}}，“alternative-id”：[“S0168007204001642”]，“URL”：“http://\/dx.doi.org\/101016\/j.apal.2004.08.003”，“relation”：{}，8-0072“]，”ISSN-type“：[{”value“：”0168-0072“，”type“:”print“}]，”subject“：[]，“已发布“：{“date-parts”：[[2005,7]]}}}