{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T15:35:36Z”，“时间戳”：1725636936273}，“引用计数”：16，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151658”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”342-349“，“source”：：“Crossref”，“is-referenced-by-count”：93，“title”：[“高阶关键对”]，“prefix”：”10.1109“，“volume”：“：”T.“，”family“：”Nipkow“，”sequence“：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/322217.32230”}，{“volume”：”127“，“journal-title”：“Combinary Reduction Systems”，“year”：“1980”，“author”：“klop”，“key“ref11”}：“10.1016\/B978-0-08-012975-4.50028-X”}，{“键”：“参考13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0038698”}，{“key”：“ref14”，“首页”：“810”，“article-title”：“Prolog概述”，“author”：“nadathur”，年：“1988”，“journal-title“：”Proc 5th Int Logic Programming Conference“}，”{“journal-title：”Logic and Computer Science“，”first page“：”361“，”年：“1990”，“作者”：“paulson”，“key“：”ref15“}，{”key“：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0747-7171（89 s和递归类型“，”年份“：”1990“，”作者“：“dougherty”，“key”：“ref6”}，{“key“：”ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/B978-0-444-88074-1.50011-1“}，”journal-title“：”Combi-nators and？-Calculus简介“，”year“：”1986“，”author“：”hindley“，”key“”：“ref8”}、{“journal-title”：“Logic for Computer Science”，“year”：“1986”，“author”：“galler”，“”key“：”ref7“}，{”journal-title“：“理论计算机科学研究笔记”，“年份”：“1989”，“作者”：“bachmair”，“key”：“ref2”}，{“journal-title”：“Church-Rosser一般定理”，“年”：“1978”，“author”：“aczel”，“密钥”：“ref1”}：“第六届IEEE计算机科学逻辑年会”，“地点”：“荷兰阿姆斯特丹”}，“容器-时间”：[“[1991]第六届计算机科学逻辑年度IEEE研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151658.pdf？arnumber=151658”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,9]]，“date-time”：“2017-03-09T06:09:51Z”，“timestamp”：1489039791000}，“score”：1，“resource:{“primary”：{“URL”：“http://ieeexplore.iee.org\/document\/151658\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[null]]}，“references-count”：16，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151658”，“关系”：{}，“主题”：[]}}