Barendregt，Henk P。 Corrado Böhm的宝石。 （英语） Zbl 07243677号 日志。方法计算。科学。 16，第3号，第15号文件，第28页（2020）. 概要：科拉多·伯姆的主要科学遗产包括关于计算、关于具体算法以及可计算性模型的思想。将介绍以下内容。1.可以自行编译的编译器。2.结构化编程，消除了“goto”语句。3.功能编程和早期实现。4.（lambda）-演算中的可分性。5.编译组合词而不进行解析。6.在\（\lambda \）-演算中进行自我评估。 MSC公司： 68甲18 函数编程和lambda演算 03B40型 组合逻辑与lambda演算 68-03 计算机科学史 软件：毫升 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Barendregt}，日志。方法计算。科学。16，第3号，第15号论文，28页（2020；Zbl 07243677） 全文： arXiv公司 链接 参考文献： [1] E.Ashcroft和Z.Manna。将goto程序转换为while程序。C.V.Freiman、J.E.Griffith和J.L.Rosenfeld，编辑，《国际知识产权联合会第71届会议记录》，第1卷，第250-255页，阿姆斯特丹，1972年。霍兰德北部。 [2] H.P.巴伦德雷格特。规范一致自反结构。《兰巴达-微积分与计算机科学理论研讨会论文集》，第272-286页，柏林，海德堡，1975年·Zbl 0333.02021号 [3] H.P.巴伦德雷格特。兰姆达演算：它的语法和语义。北荷兰，修订版，1984年·Zbl 0551.03007号 [4] H.P.巴伦德雷格特。lambda项的枚举数正在建设性地减少。《纯粹逻辑与应用逻辑年鉴》，73:3-91995年·Zbl 0819.03004号 [5] H.P.巴伦德雷格特。克雷塞尔，兰姆达微积分，风车和城堡，第3-14页。彼得斯，韦尔斯利，马萨诸塞州，1996年·Zbl 0894.01007号 [6] H.P.巴伦德里格特。鉴别编码的lambda项。在A.Anderson和M.Zeleny，编辑，《逻辑、意义和计算：纪念阿隆佐·丘奇的散文》，第275-285页。克鲁沃·Zbl 1021.03506号 [7] H.P.巴伦德雷格特。λ-演算和组合逻辑的一些扩展项模型。乌得勒支大学博士论文，1971/2020年。Kindle桌面发布。2020年延期翻修。 [8] A.Berarducci和C.Böhm。具有正规形式的lambda微积分的自我解释者。计算机编辑E.Börger、G.Jäger、H.Kleine Büning、S.Martini和M.M.Richter·Zbl 0796.03023号 [9] C.Böhm和M.Dezani。翻译时可以忽略语法吗？In Nivat，《自动化，语言和编程》编辑，197-207页，1973年·Zbl 0261.68010号 [10] C.Böhm、M.Dezani-Ciancaglini、P.Peretti和S.Ronchi Della Rocca。λβ演算中的判别算法。理论计算机科学，8（3）：271-2911979·Zbl 0405.03005号 [11] H.P.Barendregt、W.J.M.Dekkers和R.Statman。带类型的Lambda微积分。数学逻辑的观点。剑桥大学出版社，2013年·Zbl 1347.03001号 [12] C.Böhm和W.Gross。CUCH简介。《自动化理论》编辑E.R.Caianiello，第35-65页。纽约学术出版社，1966年·Zbl 0192.06903号 [13] C.Böhm和G.Jacopini。流程图、图灵机和只有两个形成规则的语言。ACM通讯，9（5）：366-3711966·Zbl 0145.24204号 [14] H.P.Barendregt、G.Manzonetto和M.J.Plasmeijer。命令式和函数式编程范式。在B.Cooper和J.van Leeuwen，编辑，Alan Turing-他的作品 [15] C.Böhm。计算数字公式逻辑数学公式计算机程序概念。苏黎世ETH博士论文，1954年。论文撰写于·兹比尔0057.10702 [16] C·Böhm。CUCH作为一种形式化和描述语言。编辑T.B.Steele Jr.，《计算机编程的形式语言描述语言》，179-197页。北荷兰，1966年·Zbl 0152.15701号 [17] C.Böhm。Alcune所有权形成λK-calcolo的归一化。技术报告696，INAC，1968年。 [18] M.Coppo、M.Dezani-Ciancaglini和S.Ronchi della Rocca。λ-演算Scott的D∞-模型中有限项集的（半）-可分性。编辑G.Ausiello和C.Böhm·Zbl 0394.03021号 [19] A.教堂。逻辑基础的一组假设（1）。《数学年鉴》，33:346-3661932年·Zbl 0004.14507号 [20] A.教堂。逻辑基础的一组假设（2）。数学年鉴，34:839-8641933·Zbl 0008.28902号 [21] A.教堂。初等数论中一个无法解决的问题。《美国数学杂志》，58:354-3631936年·Zbl 0014.09802号 [22] A.教堂。简单类型理论的公式。《符号逻辑杂志》，5:56-681940·JFM 66.1192.06号 [23] 清洁。纯函数式语言，通过唯一性类型进行I/O。网址：<https://clean.cs.ru.nl网址/>. [24] D.C.库珀。Böhm和Jacopini的流量减少。ACM委员会，10（8）：463-4731967年。 [25] A.Church和J.B.Rosser。转换的一些属性。美国数学学会学报，39:472-4821936·Zbl 0014.38504号 [26] J.N.克罗斯利。逻辑学家的回忆。《代数与逻辑》编辑J.N.Crossley，数学课堂讲稿第450卷，第1-62页。斯普林格，1975年·兹伯利0312.02001 [27] H.B.咖喱。组合逻辑中的功能。美国国家科学院院刊，20:584-5901934·JFM 60.0850.01号文件 [28] H.B.咖喱。某些形式逻辑的不一致性。符号逻辑杂志，7（3）：115-1171942·Zbl 0060.02209号 [29] O.Dahl、E.Dijkstra和C.Hoare，编辑。结构化编程。学术出版社，英国伦敦，1972年·Zbl 0267.68001号 [30] E.迪克斯特拉。转到有害声明。ACM委员会，11（3）：147-1481968。 [31] S.Guerrini、A.Piperno和M.Dezani-Ciancaglini。伯姆定理，第1章，第1-16页。帝国理工学院出版社，2009年。编辑E.Gelenbe和J.-P.Kahane。 [32] D.哈雷。关于民间定理。ACM委员会，23（7）：379-3891980·Zbl 0432.68009号 [33] 哈斯克尔。纯函数式语言，通过单体进行I/O。网址：<https://www.haskell.org/>. [34] J.休斯。为什么函数编程很重要。计算。J.，32（2）：98-1071989年4月。 [35] D.E.Knuth和R.W.Floyd。关于避免声明的注释。信息处理信件，1（1）：23-311971·Zbl 1260.68047号 [36] S.C.克莱恩。形式逻辑中的正整数理论。《美国数学杂志》，57:153-173219-2441935·Zbl 0011.24103号 [37] D.E.Knuth。使用go to语句进行结构化编程。计算机调查，6（4）：261-3011974·兹比尔0301.68014 [38] D.E.克努思。计算机编程艺术，第1-7卷。艾迪森·韦斯利·朗曼出版公司，美国加利福尼亚州红木市，1968-2018年。（尚未完成。）·Zbl 0191.17903号 [39] S.C.Kleene和J.B.Rosser。某些形式逻辑的不一致性。数学年鉴，36:630-6361935·Zbl 0012.14602号 [40] D.Kozen和Wei-Long Dustin Tseng。Böhm-Jacopini定理在命题上是错误的。Audebaud博士和C.Paulin-Mohring，编辑，《程序构建的数学》，第177-192页，柏林，2008年。斯普林格·Zbl 1156.68354号 [41] P.J.兰丁。表达式的机械计算。《计算机杂志》，6（4）：308-3201964年·Zbl 0122.36106号 [42] W.M.McKeeman、J.J.Horning和D.B.Wortman。编译器生成器。自动计算。普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1970年。 [43] H.米尔斯。结构化编程的数学基础。报告FSC 72-6012，IBM联邦系统部，马里兰州盖瑟斯堡，1972年。62页。 [44] T.Æ。莫根森。理论珍珠：lambda演算中的有效自我解释。函数编程杂志，2（3）：345-3641994。 [45] R.Milner、M.Tofte、R.Harper和D.McQueen。《标准ML的定义》，麻省理工学院出版社，1990年。 [46] OCaml公司。源于ML和对象定向。网址：<ocaml.org/>。 [47] F.Pfenning和C.Elliot。高阶抽象语法。《ACM-SIGPLAN编程语言设计与实现会议论文集》，199-208页。ACM出版社， [48] S.佩顿·琼斯。函数式程序设计语言的实现。普伦蒂斯·霍尔，1987年。绝版。网址：<https://www.microsoft.com/en-us/research/ ·兹比尔0712.68017 [49] J.雷诺兹。高阶编程语言的定义解释器。《ACM全国会议记录》，第2卷，第717-740页。美国医学会，1972年。 [50] R.Statman和H.P.Barendregt。Böhm定理、Church’s Delta、数字系统和Ershov Morphisms。在A.Middeldorp、V.van Oostrom、F.van Raamsdonk和R.de Vrijer的《编辑、过程、术语和周期：走向无限之路的步骤：献给Jan的散文》中·Zbl 1171.03310号 [51] 方案。LISP的改进版本。URL:<groups.csail.mit.edu/mac/projects/scheme/>。 [52] A.M.Turing，可计算性和lambda可定义性。《符号逻辑杂志》，2:153-1631937·JFM 63.0824.03号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。