{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T02:58:30Z”，“时间戳”：1649041110876}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540309116”，“类型”：打印“}，{”值“：“9783540324256”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11601548_5“，”type“：”book-capter“，”created“：”{“date-part”：[2005,12,10]]，“date-time”：“2005-12-10T05:39:45Z”，“时间戳“：1134193185000}，”页面“：”40-54“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“B\u00f6hm\u2019s定理，Church\u2019-s Delta，Numeral Systems，and Ershov Morphisms”]，“prefix”：“10.1007”，”author“：[{”given“：”Richard“，”family“：”Statman“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Henk”，，“成员”：“297”，“引用”：[｛“key”：“5_CR1”，“series title”：“逻辑与数学基础研究”，“volume title”：“Lambda Calculus，its Syntax and Semantics”，“author”：“H.Barendregt”，“year”：“1984”，“nonstructured”：“Barendregt，H.：Lambda Calculus，its Syntax and Semantics。逻辑与数学基础研究，vol.\u00a0103。North-Holland Publishing Co.，Amsterdam（1984）（修订版）“}，{”issue“：”3“，”key“：”5_CR2“，”doi-asserted-by“：”publisher“，”first page“：“367”，”doi“：”10.1017\/S09567968800000149“，“volume”：“1”，“author”：“E.Barendsen”，“year”：“1991”，“unstructured”：“Barendson，E.：理论珍珠：lambda微积分中一个无法解决的数字系统。J。功能。Programming\u00a01（3），367\u2013372（1991）“，”journal-title“：”J.Funct。编程“}，{“key”：“5_CR3”，“unstructured”：“B\u00f6hm，C.：Alcune property\u00e0 delle forme\u03b2 \n\n\n-normal nel \u03bbK-calcolo。技术报告696，Istituto per le Applicazioni del calcolo（IAC），Viale del Policlinico 137，00161 Rome，Italy（1968）”}，}“issue”：“3”，”key“：”5_CR4“，”doi-asserted-by“：”publisher“，”first page“：”271“，”doi“：”10.1016\/0304-3975（79）90014-8“，“volume”：“8”，“author”：“C.B\u00f6hm”，“year”：“1979”，“unstructured”：“B\u200f6hm.，C.，Dezani-Ciancaglini，M.，Peretti，P.，Ronchi，S.：u03bb\u03b2-calculus中的判别算法。理论。计算。科学。\u00a08（3），271\u2013291（1979）“，“新闻标题”：“理论。计算。科学。“}，{”key“：”5_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page:“142”，“doi”：“10.1007\/3-540-08860-1_12”，“volume-title”：“自动机、语言和编程”，“author”：“M.Coppo”，“year”：“1978”，“unstructured”：“Coppo，M.，Dezani-Ciancaglini，M.、Ronchi，S.（Semi-）Scott\u2019s D\u2009\u221e-模型中有限项集的可分性。收录：Ausiello，G.，B\u00f6hm，C.（编辑）ICALP 1978。LNCS，卷\u00a062，第142\u2013164页。Springer，Heidelberg（1978）“}，{”key“：“5_CR6”，”doi-asserted-by“：”crossref“，”first page“：”289“，”doi“：”10.1002\/malq.19730191901“，”volume“：》19“，”author“：”Y.L.Ershov“，”year“：”1973“，”unstructured“：”Ershov，Y.L.:Theorye der Numerierungen I，II，III.Zeitschr.math.Logik Grundl.math.\u00a019，289\ u2013388（1973）；21473-584（1975）；23，289\u2013371（1977）“，“新闻标题”：“Zeitschr。数学。Logik Grundl公司。数学。“}，{”issue“：”4“，”key“：”5_CR7“，”doi-asserted-by“：”publisher“，”first-pages“：”523“，”doi“：”10.1305\/ndjfl\/1040408610“，”volume“：“35”，”author“：”B.Intrigila“，”year“：”1994“，”unstructured“：”Intrigilla，B.：关于u03bb-calculus中数值系统的一些结果。圣母院J.Formal Logic\u00a035（4），523\u2013541（1994）”，“新闻标题”：“圣母院J。形式逻辑“}，{”key“：”5_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“213”，“doi”：“10.1007\/BFb0029527”，“volume-title”：“Lambda-Calculus and Computer Science Theory”，“author”：“G.Jacopini”，“year”：“1975”，“unstructured”：“Jacopini，G.：识别任何组合逻辑模型的两个元素的条件。摘自：B\u00f6hm，C.（编辑）Lambda-微积分与计算机科学理论。LNCS，卷\u00a037，第213\u2013219页。Springer，Heidelberg（1975）“}，{”key“：”5_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“350”，”doi“：”10.1007\/3-540-10828-9_75“，”volume-title“：“CAAP\u201981”，”author“：”S.Ronchi della Rocca“，”year“：”1981“，”unstructured“：”Ronchi della Rocca，S.：u03bb-calculus的D\u2009\u221e模型中无限项集的可分辨性。In:Astesiano，E.，B\u00f6hm，C.（编辑）CAAP 1981。LNCS，vol.\u00a0112，pp.350\u2013364。Springer，Heidelberg（1981）“}，{”key“：”5_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“313”，”doi“：”10.1007\/10703163_21“，”volume-title“：“计算机科学逻辑”，”author“：”R.Statman“，”year“：”1999“，”unstructured“：”Statman，R.：V集的形态和划分。收录：Gottlob，G.、Grandjean，E.、Seyr，K.（编辑）CSL 1998。LNCS，第00a01584卷，第313\u2013322页。Springer，Heidelberg（1999）“}，{”issue“：”5“，”key“：”5_CR11“，”doi-asserted-by“：”publisher“，”first page“：“565”，“doi”：“10.1017\/S095679699003548”，“volume”：“9”，“author”：“R.Statman”，“year”：“1999”，“unstructured”：“Statman，R.，Barendregt，H.：Plotkin-terms的应用：封闭项的分区和形态。J.Funct.Programming\u00a09（5），565\u2013575（1999）“，“新闻标题”：“J.Funct。编程“}，{“key”：“5_CR12”，“unstructured”：“Visser，A.：数值、lambda微积分和算术，In:[？]，pp.259-284（1980）”}]，“container-title”：[“过程、术语和周期：通向无限之路的步骤”，“计算机科学课堂讲稿”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/11601548_5“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,3,13]]，”date-time“：“2019-03-13T12:02:34Z”，”timestamp“：1552478554000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/11601548_5“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2005]]}，“ISBN”：[“9783540309116”，”9783540324256“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.10007\/1161548_5 1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-3399“，”键入“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2005]]}}}