{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,5]]，“日期-时间”：“2022-04-05T06:35:04Z”，“时间戳”：1649140504465}，“引用-计数”：8，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期-零件”：[2016,10,1]]，”日期-时间“：”2016-10-01T00:00:00 Z“，”timestamp“：1475280000000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2016,9,20]]，“date-time”：“2016-09-20T00:00:00Z”，“timestamp”：14743296000000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/license\/by\/4.0 \/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2016,10]]}，“DOI”：“10.1016\/j.entcs.2016.09.045”，“type”：“journal-article”，“created”：{“date-ports”：[C016,10,7]]，“date-time”：“2016-10-07T20:33:46Z”，“timestamp”：1475872426000}，”page：“305-312”，“源”：“Crossref”，“is-refered”nced-by-count“：0，“title”：[“How to Think of Intersection Types as Cartesian Products”]，“prefix”：“10.1016”，“volume”：“325”，“author”：[{“given”：”Rick“，”family“：”Statman“，”sequence“：”first“，”affiliation“：[]}]，“member”：“78”，“reference”：[[{”key“：”10.1016\/j.entcs.2016.09.045_br0010“，”series-title“：”CUP“，”article-title“：“Lambda Calculus with Types”，“作者“：”Barendregt“，“年份”：“2013”}，{“key”：“10.1016\/j.entcs.2016.09.045_br0020”，“doi-asserted-by”：“crossref”，“首页”：“931”，“doi”：“10.2307\/2273659”，“article-title”：“过滤lambda模型和类型赋值的完整性”，“volume”：”48“，”author“：”Brarendregt“，”year“1983”，“journal-title“：”journal of Symbolic Logic“}，}“issue”：“1”，“键”：“10.1016\/j.entcs.2016.09.045_br0030”，“首页”：“15”，“文章标题”：“交叉类型和lambda可定义性”，“卷”：“13”，“作者”：“Bucciarelli”，“年份”：“2003”，“日志标题”：”MSCS03“}，{“问题”：“l”，“关键”：“10.116\/j-entcs.2016.09.045_br0040”，”doi-asserted-by“：”crossref“，“首页面”：“139”，“DO”I“：”10.1007\/BF02011875“，”文章标题“：“lambda术语的新类型赋值”，“volume”：“19”，“author”：“Coppo”，“year”：“1978”，“journal-title”：“Archiv-fur-math.logik”}，{“key”：”10.1016\/j.entcs.2016.09.045_br0050“，”first page“：”204“，”article-title“：”“用surpjective配对扩展lambda演算是保守的”，“volume”:“4”，“author”:“de Vrijer”，“年份”：“1989”，“日记标题”：“LICS”}，{“key”：“10.1016\/j.entcs.2016.09.045_br0060”，“series-title”：“非类型化的本地翻译为简单类型的lambda-calculus”，“author”：“Statman”，“year”：“1991”}、{“key”：”10.1016\/j.entcs.2016.08.045_br 0070“，”series-ttle“：”Roel DeVrijer的Liber Armicorum“，”article-title“：“Surjective pairied reviewed”，“author”man“，”year“：”2009“}，{“key”：“10.1016\/j.entcs.2016.09.045_br0080”，“doi-asserted-by”：“crossref”，“unstructured”：“K.St\u00f8vring，用surpjective对扩展lambda演算是保守的，LMCS 2，1\u201314.”，《doi》：“10.2168\/LMCS-2（2:1）2006”}]，“container-title”：[“理论计算机科学中的电子笔记”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066116300962？httpAccept=text\.xml”，“content-type”：“text\/xml”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com/content\/aarticle\/PII:S157/106611630062？httpAccept=text\/plain”，“content-type“：“text\/plain”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,9,14]]，“date-time”：“2019-09-14T10:58:56Z”，“timestamp”：1568458736000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066116300962”}}}，”字幕“[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2016,10]]}，“引用-计数”：8，“alternative-id”：[“S1571066116300962”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.entcs.2016.09.045”，“关系”：{}，“ISSN”：[”1571-0661“]，“ISSN-type”：[{“value”：“1571-0671”，“type”:“print”}]，“主题”：[]，“发布”：{“date-parts”：[2016,10]]}}}}