{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,14]]，“日期时间”：“2023-01-14T03:49:41Z”，“时间戳”：1673668181748}，“出版商位置”：“柏林，海德堡”，“参考计数”：32，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540578802”，“类型”：“打印”}，{“值”：“9783540483762”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57880-3_9“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T13:37:39”Z“，”时间戳“：1330263459000}，”页面“：”135-149“，”源“：“Crossref”，“is-referenced-by-count”：6，“title”：[“\u03bb-definition of function（al）s by normal forms”]，“prefix”：“10.1007”，”author“：[{”given“：”Corrado“，”family“：”B\u00f6hm“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Adolfo”，“family”：“Piperno”，“segment”：“additional”，“从属关系”：[]}，}“giving”：“Stefano”，“family”：“Guerrini”，“sequence”：“additional”，“附属关系”：[]｝]，“成员”：“297”，“在线发布”：{“日期部分”：[[2005,6,8]]｝，“参考文献”：[{“密钥”：“9_CR1”，“doi断言者”：“crossref”，“非结构化”：“S.Abramsky，C.-H.L.Ong，《懒惰Lambda微积分中的完全抽象》，技术报告259，剑桥大学计算机实验室，1992，105页。要出现在Info.and Comp.中”，“doi”：“10.1006\/inco.1993.1044”}，{“key”：“9_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“L.Augusson and T.Johnsson，The Chalmers Lazy-ML Compiler，The Computer Journal，第32卷，第2期，1989年4月。”，“doi”：“10.1093\/comjnl/32.2.127”}：“10.1145 \/359576.359579”，“volume”：“21”，“author”：“J.Backus”，“year”：“1978”，“unstructured”：“J·Backus，编程能从vonNumann风格中解放出来吗？函数风格及其程序代数，ACM Comm.，1978，volume 21，no.8，pp.613\u2013641。”，“journal-title”：“ACM Comm”}，{“key”：：“H.P.Barendregt，《无类型lambda-calculus》，收录于：《数学逻辑手册》，Barwise（编辑），北荷兰，1981年，第1092\u20131132页。”}，{“key”：“9_CR5”，“series-title”：“LNCS 702”，“首页”：“85”，“volume-title”：《CSL’92第六次研讨会，意大利圣米尼亚托》，“author”：“A.Berarducci”，“year”：“1992”，“unstructured”：“A·Berarducci and C。B\u00f6hm，具有正规形式的lambda演算的自我解释者，第六届CSL’92研讨会，意大利圣米尼亚托，2013年9月至1992年10月，编辑E.B\u00 f6rger等人，柏林斯普林格出版社（LNCS 702），第85\u201399页。“}，{“key”：“9_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“C。B\u00f6hm，函数编程的组合基础，1982年ACM Lisp和函数编程研讨会，1982年，匹兹堡。，pp.29\u201336.“，”DOI“：”10.1145\/800068.802132“}，{“key”：“9_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.B\u00f6hm，通过代数扩展将递归简化为迭代：ESOP 86，（LNCS 213），第111\u2013118页，1986。”，“DOI”：“10.1007\/3-540-16442-1_8”}，“key“：”9_CR8“，”DOI-assert-by“：”crossref.“，“首页”：“58”，“DOI”：“10.1007\/3-540-19129-1_3“，“卷”：“306”，“作者”：“C.B\u00f6hm”，“年份”：“1988”，“非结构化”：“C.B\u0019hm，通过对和N元组将递归减少到迭代，in：逻辑和函数编程基础，LNCS 306，p.58\u2013661988。”，“日记标题”：“逻辑和函数程序设计基础，LNC”}，{“key”：“9_CR9”，“首页“：”14“，”volume-title“：”LNCS 324“，”author“：”C.B\u00f6hm“，”year“：”1988“，”unstructured“：”C.B\u00 f6hm.，Functional Programming and Combinary Algebras，MFCS，Carlsbad，August\u2013-9 1988，编辑M.P.Chytil等人，Springer Verlag，Berlin（LNCS 344），pp.14\u201326“}，{”key“：”9_CR10“，”series-title“：“LNCS 372”，“首页”：“108”，“volume-title“：”ICALP'89，Stresa“，”author“：”C.B\u00f6hm“，”year“：”1989“，”unstructured“：”C.B\u001f6hm.，Subding Self-Application，ICALP'89，Stresa.，July 11\u201315 1989，eds G.Ausiello et al.，Springer Verlag，Berlin（LNCS 372），pp.108\u2013122“}，{”key“：”9_CR11“，”doi-asserted-by“：”crossref“，“first page”：“135”，“doi”：“10.1016\/0304-3975（85）90135-5“，”卷“：”39“，”作者“：”C.B\u00f6hm“，”年份“：”1985“，”非结构化“：”C.B\u006hm和A.Berarducci，项代数类型化\u03bb-Programs的自动合成，理论计算机科学39，pp.135\u20131541985。“，”期刊标题“：”理论计算机科学“}，{“issue”：“no.2”，“key”：“9_CR12”，“doi-asserted-by”：“crossref”，“首页“：”171“，”DOI“：”10.1007\/BF00995737“，”卷“：”1“，”作者“：”C.B\u00f6hm“，“年份”：“1972”，“非结构化”：“C.B\u 00f6HM和M.Dezani-Ciancaglini，A CUCH-machine:绑定变量的自动处理，《国际计算机与信息科学杂志》，第1卷，第2期，第171\u2013191页，1972年6月。”，“新闻标题”：“国际计算机与信息科学杂志“}，{”issue“：”no.2“，”key“：”9_CR13“，”doi-asserted-by“：”crossref“，”first page“：“157”，”doi“：”10.1007“，“volume”：“2”，“author”：“C.B\u00f6hm”，“year”：“1973”，“unstructured”：“C.B\u00f6hm和M.Dezani-Ciancaglini，《关于\u201cA CUCH-machine:绑定变量的自动处理》，《国际计算机与信息科学杂志》，第2卷，第2期，第157\u2013160页，1973年6月非结构化“：”C.B\u00f6hm和M.Dezani-Ciancaglini，组合问题，组合方程和范式，收录于：Loeckx（ed.）Automata，Languages and Programming 2th。学术讨论会，LNCS 141974，第185\u2013199.页，“DOI”：“10.1007\/3-540-0684-4_60”｝，｛“key”：“9_CR15”，“DOI由”断言，“crossref”，“非结构化”：“C.B\u00f6hm和M.Dezani-Ciancaglini，\u03bb术语为范式上的全函数或偏函数，在：\u03bb微积分一种计算机科学理论B\u00f6hm（编辑），LNCS 37，Springer，1975，第96\u2013121.页，”DOI“：”10.1007\/BFb0029521“}，{“key”：“9_CR16”，“unstructured”：“A.Church，lambda-conversion的计算，普林斯顿大学出版社，1941年。”}，}，“key“：”9_CR17“，“volume-title”：“组合逻辑，第一卷”，“author”：“H.B.Curry”，“year”：“1958年”，“非结构化”：“B.Curry，组合逻辑，第一卷，荷兰北部，阿姆斯特丹，1958年。”，“DOI-asserted-by”：“crossref“，”unstructured“：”D.P.Friedman和D.S.Wise，Cons不应评估其论点，Proc.3rd International Collocium on Automata，Languages and Programming，Edinburgh，1976，pp.257\u2013284。“，”DOI“：”10.1016\/0304-3975（76）90070-0“}，{“key”：“9_CR19”，“DOI-asserted-by”：“crossref.”，“unstructure”：“A.Gill，J.Launchbury和S.L.Peyton-Jones，《森林砍伐的捷径》，函数式编程和计算机体系结构，1993年。“，”DOI“：”10.1145\/165180.165214“}，{“key”：“9_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Hughes，Why Functional Programming Matters，The Computer Journal，关于Lazy Functional-Programming的特刊，第32卷，第2期，1989年4月。“，“DOI”：“10.1093\/comjnl/32.2.98”}，{“key”：“9_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Hughes，《超级组合器：应用语言的新实现方法》，Symp。关于LISP和函数编程，ACM，1982年。“，“DOI”：“10.1145\/800068.802129”}，{“key”：“9_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“S.C.Kleene，\u03bb-definitibility and recursiveness，Duke Math.J.2，pp.340\u2013353.”，“DOI:”10.1215\/S0012-7094-36-00227-2“}，“key“：”9_CR23“，“un结构化”：“D.E.Knuth，《计算机程序设计的艺术》，第1卷/基本算法，Addison-Wesley，1973年。“}，{“key”：“9_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Pariget.带证明的编程：二阶型理论，ESOP’88，LNCS 300，pp.145\u2013159。”，“doi”：“10.1007”\/3-540-19027-9_10”}，“key“：”：“9-CR25”，“非结构化”：“S.L.Peyton Jones，《函数编程语言的实现》，Prentice-Hall，1986年。“}，{“key”：“9_CR26”，“volume-title”：“Einige Anwendungen von unendlichen Termen und Wertfunkationalen”，“author”：“H.Schwichtenberg”，“year”：“1973”，“unstructured”：“H.Schwichtenberg，Einige Anwendungen von unendlichen Termen und Wertfunkationalen，Habilitationsschrift，M\u00fcnster，67 pp.，1973年。“}，{“key”：“9_CR27”，“unstructured”：“J.R.Shoenfield，Matematical Logic，Addison Wesley，1967年”。“12”，“作者”：“H.R。Strong”，“年份”：“1968”，“非结构化”：“H.R.Strong，代数广义递归函数理论，IBM J.Res.Developm.12（1968），pp.465\u2013475.”，“期刊标题”：“IBM J.Res.Developm。“}，{”key“：”9_CR29“，”unstructured“：”E.Tronci，lambda-calculus中的等式编程，LICS’91的Proc.，IEEE Comp.Soc.1991.“}”，{“key”：“9_CR30”，“doi-asserted-by”：“crossref”，“unstructure”：“A.Turing，《关于可计算数字与Entscheidungsproblem的应用》，Proc.London Math.Soc.42，pp.230\u2013265.“”，“doi”：“10.1112\/plms\/s2-42.230”}，{“key”：“9_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“D.A.Turner，一种新的应用语言实现技术，软件实践和经验，第9期，1979年。”，“doi”：“10.1002\/spe.4380090105”}，{”key“：”9_CR32“doi-sserted-by：“E.G.Wagner”，“年份”：“1969年”，“非结构化”：“E.G.Wagner，统一自反结构：可计算性的公理方法，信息科学1（1969），第343\u2013362页”，“期刊标题”：“信息科学”}]，“容器标题”：[“编程语言和系统\u2014 ESOP’94”，“计算机科学课堂讲稿”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-57880-3_9.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：：“http://\/link.springer.com/10.1007\/3-540-57880-3_9”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[1994]]}，”ISBN“：[”9783540578802“，”978354483762“]，“引用计数”：32，“URL”：“http://\\dx.doi.org\/10.10007\/3-504-57880-3_9”，“关系”：{}、“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1994]]}}