{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T01:41:23Z”，“时间戳”：1648950083744}，“引用-计数”：11，“发布者”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：}“日期-零件”：[[2004,12]]，“时间”：”2004-12-01T00:00:00Z“，”时间戳“：1101859200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3186，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2004,12]]}，”DOI“：”10.1016\/j.apal.2004.04.004“，”type“：”journal-article“，”created“：{”date-parts:[[2004,6,25]]，“date-time”：“2004-06-25T12:30:56Z”，“timestamp”：1088166656000}，《page》：“325-337“，”source“：”Crossref“，“is-referenced-by-count”：3，“title”：[“On the \u03bbY calculation”]，“prefix”：“10.1016”，“volume”：“130”，“author”：[{“given”：”Rick“，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/j.apal.2004.04.004_B1”，“seriest-title”：“the Lambda calculus”，“outer”：“Barendregt”“，”年“：”1981“}，{”键“：“10.1016\/j.apal.2004.04.004_B2”，“首页”：“16”，“文章标题”：“带定点运算符的类型\u03bb-calculus中的不可解术语”，“卷”：“卷193”，”作者“：”Bercovici“，”年份“：”1985“}，{“key”：“10.116\/j-apal.2004.0 4.004_B3”，《卷》：“卷1”，“author”：“Curry”，“年份”：”1958“}”，{”key“：”10.1016\/j.apal.2004.04.004_B4“，”doi-asserted-by“：“crossref”，“first page”：“95”，“DOI”：“10.1016\/0304-3975（82）90009-3”，“article-title”：“IO和OI层次结构”，“volume”：：“20”，“author”：“Damm”，“year”：“1982”，“journal-title“：”Theoret.Compute.Sci“}，{“key”：”10.1016\/j.apal.2004.04.004_B5“，”article-title“：“Gordon”，“year”：“1979”}，{“key”：“10.1016\/j.apal.2004.04.004_B6”，“非结构化”：“R.Platek，论文，斯坦福大学数学系，1963”}，{“key”：“10.116\/j-apal.20040.04.004_B7”，“series-title”：“证明、语言和交互：罗宾·米尔纳的荣誉论文”，“年份”：“2000”}、{“key”：”10.1016\/j.apal.2004.040.04_B8“，”series-ttle“：“Corrado B\u00f6hm荣誉贡献集”，“首页”：“411”，“article-title”：“等同于ISWIM，CUCH，OWHY的类型理论”，“author”：“Scott”，“year”：“1993”}，{“key”：“10.1016\/j.apal.2004.04.004_B9”，“doi-asserted-by”：“crossref”，“first-page”：“17”，“doi”：“10.2307\/2273377”，“article-title”：“完整性、不变性和lambda可定义性”，“卷”：“47”，“作者”：“Statman”，“年份”：“1982”，“日记标题”：“J.符号逻辑”}，{“键”：“10.1016\/J.apal.2004.04.004_B10”，“首页”：“313”，“文章标题”：《V集的形态和划分》，“卷“：”1584”，“作家”：“静态人”，“年”：“1998”}、{“密钥”：“10.0016\/J.apal。2004.04.004_B11“，“首页”：“185”，“文章标题”：“建构性推理”，“卷”：“第三卷”，“作者”：“Tait”，“年份”：“1968”}]，“容器标题”：[“纯粹和应用逻辑年鉴”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0168007204000661？httpAccept=text\/xml”，“content-type”：“text”\/xml“，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000661？httpAccept=text\/plain”，“content-type”：“text\/plaine”，“content-version“：”vor“，”intended-application“：”text-miniing“}”，“deposed”：{“date-parts”：[2019,2,6]]，“date-time”：”2019-02-06T1 6:21:34Z“，”时间戳“：1549470094000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007204000661”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2004,12]]}，'references-count“：11，”journal-issue“:{”issue“：”1-3“，”published-print“：{”date-ports“：[2004，12]]}}，“alternative-id”：[“S0168007204000661”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.04.004”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“值”：“0168-0072”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[2004,12]]}}}