{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T11:31:57Z”，“时间戳”：1649071917106}，“引用-计数”：10，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“DOI“：”10.1109\/lics.2002.1029825“，“type”：“procesdings-article”，“created”：{“date-parts”：[[2003,6,25]]，“date-time”：“2003-06-25T22:14:31Z”，“timestamp”：1056579271000}，“source”：”Crossref“，“is-referenced-by-count”：1，“title”：[“On the lambda Y calculus”]，“prefix”：“10.1109”，“author”：[{“given”：R”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“成员”：“263”，“引用”：[{“密钥”：“3”，“volume”：“1”，“author”：“curry”，“year”：“1958”，“journal-title”：“组合逻辑”}，{“key”：”2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-15648-8_2“}，”{“key”：“10”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/10703163_21”}、{“key”：：“barendregt”，“年份“：”1981“，”新闻标题“：”兰姆达微积分“}，{“key”：“7”，“author”：“scott”，“年”：“1969”，“新闻标题”：“与ISWIM CUCH OWHY等价的一种类型理论”}，{“键”：“6”，“作者”：“plotkin”，“年“：“1980”}hierachies”，“volume”：“20”，“author”：“damm”，“year”：“1982”，“journal-title”：“TCS”}，{“key”：“9”，“author”：“statman”，“year”：“1987”，“journal-title”：“Scott理论模型LCF当代数学系列”}：“第17届IEEE计算机科学逻辑年会”，“地点”：“丹麦哥本哈根”，“缩写词”：“LICS-02”}，“容器-标签”：[“第17次IEEE计算机逻辑年会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx5\/8005\/22127\/01029825.pdf？arnumber=1029825”，“内容-类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,15]]，“date-time”：“2017-06-15T22:42:33Z”，“timestamp”：1497566553000}，“score”：1，“resource”：{“primary”：“URL”：“http://ieeexplore.iee.org\/document\/1029825\/”}，”subtitle“：[]，”short标题“：[]，”已发布“：{“日期部分”：[[null]]}，“references-count”：10，“URL”：“http://\/dx.doi.org\/10.1109\/lics.2002.1029825”，“关系”：{}，“主题”：[]}}