{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T03:26:56Z”，“时间戳”：1725420416596}，“引用计数”：13，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“内政部”：“10.1109\/lics.1991.1511644”，“type”：“proceedings article”，“created”：｛“日期部分”：[[2002,12,10]]，“日期时间”：“2002-12-10T19:53:10Z”，“时间戳”：1039549990000｝，“page”：“191-202”，“source”：“Crossref”，“由count引用”：0，“title”：[“lambda演算中的赤道编程”]，“prefix”：“10.1109”，“volume”：“14”，“author”：[｛“given”：“E.”，“family”：“Tronci”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“journal-title”：“Equational Logic as a Programming Language”，“year”：“1985”，“author”：“o'donnell”，“key”：“ref10”}，{“key“：”ref11：“publisher”，“doi”：“10.1016\/0304-3975（89）90148-5“}，{“journal-title”：“private communication”，“year”：“0”，“author”：“statman”，“key”：“ref13”}，}“johnal-title:“alcuni sistemi di logica combintia中的程序功能说唱”，“年”：“1983”，“作者”：“berarducci”，“键”：“ref4”}、{“键”:“ref3”，“首页”：“185”、“卷”：“14”，“作家”：“b\uffdhm”，“年份”：“1974年”，“新闻标题”：“组合问题组合子方程和范式“}，{”key“：”ref6“，”first page“：“320”，”article-title“：”Lambda-Calculus中的X-Separability和Left-Inverability“，”volume“：：”87“，”author“：”b\uffdhm“，”year“：”0“，”journal-title”：“IEEE Computer’s Society”}，}“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0049-237X（08）70268-4”}，{“key“：”ref8“，”first-page:“142”，”volume“：“62”，”author“：”coppo“，”year“：”1978“，”journal-title“：”Scott的D模型中有限项集的（半）可分性-演算“}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（91“：”ref9“，”first-page“：”71“，”volume“：”17“，”author“：”margaria“，”year“：”1983“，”journal-title“：”？-？中的左右可逆性-演算“}]，”事件“：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“Amsterdam，Netherlands”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original title”：[]，“link”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx2\/360\/3979\/00151644.pdf？arnumber=151644”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,9]]，”date-time“：“2017-03-09T11:05:58Z”，“timestamp”：1489057558000}，“score”：1，“resource”：{“primary”:{“URL”：“http://ieeexplore.iee.org\/document\/151644\/”}，”subtitle“：[]，“短标题”：[]，“已发布”：{“date-parts“：[[null]]}，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151644“，”relation“：{}，“subject”：[]}}“