{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,14]]，“日期时间”：“2023-01-14T07:53:19Z”，“时间戳”：1673682799788}，“出版商位置”：“查姆”，“参考计数”：13，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319089171”，“类型”：”打印“}，{“值”：“9783319089188”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3-198-08918-8_28“，”type“：”book-capter“，”created“：”{“date-part”：[2014,7,2]]，“date-time”：“2014-07-02T01:44:22Z”，“timestamp”：1404265462000}，“页面”：“410-424”，“源”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Near Semi-rings and Lambda Calculus”]，“prefix”：“10.1007”，“author”：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”28_CR1“，“unstructured”：“Barendregt，H.P.:The Lambda Calculus.North Holland（1984）”}，{“key”：”28_CR2“，”doi-sserser ted-by“：”出版商“，“首页”：“264”，“DOI”：“10.1016\/j.jpaa.2008.06.012”，“卷”：“213”，“作者”：“j.C.Birget”，“年份”：“2009”，“非结构化”：“Birget，j.C.：Richard Thompson群的单体泛化。纯应用代数杂志\u00a0213，264\u2013278（2009）”，“期刊标题”：“纯应用代数期刊”}，{“关键字”：“28_CR3”，《非结构化》：“Church，A.：Lambda转换的微积分。PUP（1941）”}，{“key”：“28_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Coppo，M.，Dezani，M.：Lambda术语的新类型赋值。Archiv-fur Math.Logik\u00a019（1978）”，“doi”：“10.1007\/BF02011875”}。North Holland（1958）“}，{”key“：”28_CR6“，”doi-asserted-by“：”publisher“，”first page“：“93”，”doi“：”10.1016\/0022-4049（93）90088-B“，“volume”：“89”，“author”：“P.Freyd”，“year”：“1993”，“unstructured”：“Freyd，P.，Heller，A.：分裂同伦幂等元II。《纯粹与应用代数杂志》\u00a089，93\u2013195（1993）“，”杂志标题“：”《纯粹与应用代数杂志》“}，{“issue”：“2”，“key”：“28_CR7”，“首页”：“3”，“卷”：“32”，“作者”：“J.Hoogewijs”，“年份”：“1970”，“非结构化”：“Hoogewijs，J.：半环嵌入。Med.Konink.Vlaamse Acad.Wetensch.Lett.Schone Kunst.Belgie Kl.Wetensch\u00a032（2），3\u201311（1970）”，“日记标题”：“医学。科宁克。Vlaamse学院。韦滕施。莱特。肖恩·库斯特。Belgie Kl.Wetensch“}，{“key”：“28_CR8”，“unstructured”：“Pottinger，G.：强规范化lambda术语的类型赋值。Curry Festschrift（1980）”}，}“keys”：“28 _CR9”，“doi-asserted-by”：“crossref”，“非结构化”：“Statman，R.：Freyd\u2019s组合幺半群的层次结构。In:LICS（1991）”，“doi”：“10.1109\/LICS.1991.151643”}“，”doi-asserted-by“：”crossref“，”unstructured“：”Thompson，R.：嵌入到保留单词problem的有限生成组中。收录：Adian，Boone，Higman（编辑）《单词问题》。《逻辑与数学基础研究》，第u00a095卷，第401\u2013441页。北荷兰（1980）“，”DOI“：”10.1016\/S0049-237X（08）71348-X“}，{”key“：”28_CR11“，”首页“：”65“，”卷“：”18“，”作者“：”W.Hoorn Van“，”年份“：”1967“，”非结构化“：”Van Hoorn，W.，Van Rootselaar，B.：半近环理论中的基本概念。Comp.Math.，{“键”：“28_CR12”，“非结构化“：”Artin，M.：代数。Prentice Hall（2011）“}，{“key”：“28_CR13”，“unstructured”：“Internet，http://www.algebras.uni-linz.ac.at\/Nearrings”}]，“container-title”：[“计算机科学中的讲义”，“重写和键入Lambda Calculi”]，“original-title“：[]，“link”：[{“URL”：“http://\\link.springer.com\/content\/pdf\/10007\/978-319-08918-8_28”，“content-t”type“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：[]，“发布”：{“日期-部分”：[[2014]]}，“ISBN”：[“9783319089171“，”9783318089188“]，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3319-08918-8_28“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“类型”：“electronic”}]，“主题”：[]，“published”：{“date-parts”：[[2014]}}}