{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T06:50:11Z”，“时间戳”：1648795811699}，“引用计数”：14，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]”，“内政部”：“10.1109\/lics.1991.151643”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“Freyd's hierarchy of combinator monoids”]，“prefix”：”10.1109“author”：[{“given”：：“R.”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“author”：“schutte”，“year”：“1963年”，“journal-title”：“数理逻辑课堂笔记”}，{“key”：《ref11》，“first page”：第99页，“author”：“statman”，“年份”：“1989”，“日记标题”：“关于组合子方程TCS 66的解集”}al标题“：“组合器和分区理论”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01973619”}年份：“1968年”，“新闻标题”：“组合逻辑”}，{“key”：“ref3”，“author”：“church”，“year”：“1941”，“journal-title”：“Lambda转换的演算”}“ref8”，“year”：“0”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/0022-4049（93）90088-B”}，{“key”：“ref2”，“author”：“barendregt”，“year”：“1984”，“journal-title”：“The Lambda Calculus”}ive函数“}]，”event“：{”name“：“第六届IEEE计算机科学逻辑年会”，“地点”：“荷兰阿姆斯特丹”}，“容器-时间”：[“[1991]第六届计算机科学逻辑年度IEEE研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151643.pdf？arnumber=151643”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,9]]，“date-time”：“2017-03-09T06:08:03Z”，“timestamp”：1489039683000}，“score”：1，“resource”：{primary“URL”：“http:\/\/ieeexplore.iee.org\/document\/151643\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[null]]}，“references-count”：14，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151643”，“关系”：{}，“主题”：[]}}