{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T22:52:48Z”，“时间戳”：1725663168009}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“979 83540502418“}，{”类型“：”电子“，“value”：“9783540459606”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1988]]}，”DOI“：”10.1007\/3-540-50241-6_27“，”type“：”book-chapter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T20:19:12Z”，“timestamp”：1330201152000}，“页面”：“27-43”，“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“通过弱约简对有限组合子集的求积性”]，“prefix”：“10.1007”，“author”：[{“given”：“Corrado”，”family“：”B\u00f6hm“，”sequence“：”first“，”affiliation“：[]}，{“fiven”:“Adolfo”，”家族“Piperno”，“sequence”：“additional”，“afliation”：[]]}]，“member”：“297”，“published-on-line”：{“date”部分”：[[2005,5,31]]}，“reference”：[{“unstructured”：“Barendregt，H.P.，The lambda calculation，North Holland，1984”，“key”：“3_CR1”}，{“非结构化”：“Curry，H.B.and Feys，R.，Combination Logic，Vol.1，North Holand，Amsterdam 1958”，“密钥”：“3CR2”}、{“密钥”:“3_CR3”，“首页”：“185”，“卷”：“14”，“作者”：“C.B\u00f6hm”，年：“1974”，“非结构化的”：“B\u00f6hm，C.和Dezani-Ciancaglini，M.，组合问题，组合方程和范式，收录于L\u0153ckx（ed.）Aut.，Langu.and Progr.2nd Colloqueium，LNCS 141974，pp.185\u2013199”，“期刊标题”：“Aut.、Langu.和Progr.2 Colloqueum，LNCS”}，{“key”：“3_CR4”，“doi-asserted-by”：“crossref”，”第一页：“271”，“doi”：“10.1016\/0304-3975（79）90014-8”，“volume”：“8”，“author”：“C.B\u00f6hm”，《year》：“1979”，“unstructured”：“B \u00f 6hm，C.，Dezani-Ciancaglini，Peretti，P.和Ronchi della Rocca，S.，《\u03bb-\u03b2-Calculus内部的判别算法》，Theor.Comput.Sci.8，（1979），第271\u2013291页”，“期刊标题”：“Theor.Cut.Sci.”}，{“非结构化”：“B\u00f6hm，C.，Alcune property\u00e0 delle forme\u03b2-\u03bd-normali nel\u03bb-K-calcolo，IAC Publ.n.696，Roma，19 pp.，1968”，“key”：“3_CR5”}，{“unstructured”：“B\ u00f6m，C.和Piperno，A.，\u03bs-\u052-\u03a9-mappings的推测性和单边可逆性，发表于爱丁堡LICS 88会议录”，“key”：3_CR6“}，{“非结构化”：“B\u00f6hm，C.和Tronci，E.，Lambda-Calculus中的X-可分离性和左旋可逆性，逻辑与计算机科学研讨会，伊萨卡，N.Y.June 22\u2013251987，IEEE计算机协会，p.320\u2013328”，“key”：“3_CR7”}，{“key“：”3_CR8“，”doi-asserted-by“：”crossref“，”first page“：“169”，“doi”：“10.1002\/malq.19770230708”，”volume“23“，”作者“：”R。Hindley”，“年份”：“1977”，“非结构化”：“Hindley，R.，Combinational Reductions and Lambda Reductions comparated，蔡氏数学杂志。Logik und Grundlagen d.数学。，Bd.23，S.169\u2013180，1977“，“新闻标题”：“Zeitschr.f.math。Logik und Grundlagen d.数学。“}，{”key“：”3_CR9“，”doi-asserted-by“：”crossref“，”first page“：“393”，“doi”：“10.1016\/0304-3975（79）90019-7”，“volume”：“8”，“author”：“R.Hindley”，“year”：“1979”，“unstructured”：“Hindley，R.，The Discrimination Algorithm holds for Combination Weak Reduction，Theor.Comput.Sci.8，（1979），pp.393\u2013394”，“日志标题”：“Theor.Cut.Sci.“}]”container-title“：[“计算机科学讲义”，“CSL’87”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-50241-6_27.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,4,28]]，“date-time”：”2021-04-2 8T00:54:33Z“，”timestamp“：1619571273000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/3-540-50241-6_27“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1988]]}，《国际标准图书编号》：[“9783540502418”，“9783549606”]，“references-count”：9，“URL”：“http://\/dx.doi”。org\/10.1007\/3-540-50241-6_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“issn类型”：[｛“类型”：“打印”，“值”：“0302-9743”｝，｛“类型”：“电子”，“值”：“1611-3349”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[1988]]｝｝