×
亨克·巴伦德雷格特

lambda演算在逻辑和计算机科学中的影响。 （英语） Zbl 0887.03008号

牛市。符号。日志。 3，第2期，181-215（1997）.
本文给出了（lambda）-演算的一些用法（共35页，包括一些简要的历史观点）。发展的要点是：快速介绍\（lambda \）-演算。（lambda）-演算允许对任何数据类型进行（任何）计算。演算是一种函数编程模型，包括输入和输出的概念。演算给出了证明的编码，并允许（通过所谓的推理演算）统一处理逻辑和计算。
审核人：雷内·戴维（Le Bourget-du-Lac）

引用于1审查
引用于13文件

MSC公司：

03B40型 组合逻辑与lambda演算
68号01 软件理论中的一般主题
03-02 与数学逻辑和基础相关的研究展览（专著、调查文章）
68-02 与计算机科学有关的研究博览会（专著、调查文章）

关键词：

λ演算;函数式编程;逻辑;计算

软件：

自动化;LISP公司;哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}，公牛。符号。日志。3，编号2，181--215（1997；Zbl 0887.03008）
全文： 内政部 链接 链接

参考文献：

[1] 从弗雷格到哥德尔：1879-1931年（1967年）数理逻辑的源书
[2] 欧几里德元素十三书（1956）
[3] 计算机科学理论手册B pp 633–（1990）
[4] 理论计算机科学pp 1–（1992）·Zbl 0753.00031号
[5] 功能编程和输入/输出（1994）·Zbl 0841.68022号
[6] 证据和类型7（1989）·Zbl 0671.68002号
[7] 线性逻辑进展（1995）
[8] DOI:10.1007/BF01201363·兹比尔0010.14601 ·doi:10.1007/BF01201363文件
[9] 克莱恩研讨会第123页–（1980）
[10] 逻辑、语言和意义（1992）
[11] 内政部：10.1007/BF01135376·doi:10.1007/BF01135376
[12] 证明理论研讨会500 pp 87–（1975）
[13] 函数编程和并行图重写（1993）·Zbl 0788.68023号
[14] 符号逻辑杂志（1997）
[15] DOI:10.1111/j.1746-8361.1969.tb01183.x·Zbl 0257.02018号 ·doi:10.1111/j.1746-8361.1969.tb01183.x
[16] 内政部：10.1073/pnas.20.11.584·Zbl 0010.24201号 ·doi:10.1073/pnas.20.11.584
[17] 《美国数学杂志》52页789页–（1930年）
[18] 分类组合子、序列算法和函数编程（1986）·Zbl 0643.68004号
[19] ACM Lisp和函数编程研讨会第216页–（1982）
[20] 内政部：10.1016/0167-6423（87）90020-7·Zbl 0634.68078号 ·doi:10.1016/0167-6423（87）90020-7
[21] 内政部：10.2307/2268798·Zbl 0017.04901号 ·doi:10.2307/2268798
[22] 内政部：10.1016/0890-5401（88）90005-3·Zbl 0654.03045号 ·doi:10.1016/0890-5401（88）90005-3
[23] 内政部：10.1007/BF01019459·doi:10.1007/BF01019459
[24] 算法语言方案四的修订报告（1991年）
[25] 第25届ACM全国会议记录第717页–（1972）
[26] 内政部：10.1090/S0002-9947-1936-1501858-0·JFM 62.0037.03标准 ·doi:10.1090/S0002-9947-1936-1501858-0
[27] 伦敦数学学会会刊，第2辑，25页，338–（1925）
[28] lambda转换的结石（1941）·JFM 67.0041.01号
[29] 《科学与哲学》（1902）·格式34.0080.12
[30] 内政部：10.1016/0304-3975（75）90017-1·Zbl 0325.68006号 ·doi:10.1016/0304-3975（75）90017-1
[31] 《Reine und Angewandte Mathematik杂志》154第219页–（1925）
[32] Esop’94 788第135页–（1994）
[33] 自动机论文选133（1994）
[34] 自动机理论第35页–（1966）
[35] 逻辑编程：第五届国际会议和研讨会论文集，第1卷，第810页–（1988）
[36] 内政部：10.1016/0304-3975（85）90135-5·Zbl 0597.68017号 ·doi:10.1016/0304-3975（85）90135-5
[37] 直觉主义和证明理论（1970）
[38] 自动编程年鉴3第179页–（1963）
[39] DOI:10.1017/S0956796800000423·Zbl 0817.68051号 ·doi:10.1017/S0956796800000423
[40] 内政部：10.1016/0022-0000（78）90014-4·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4
[41] Lisp 1.5程序员手册（1962）
[42] 第四届国际科学逻辑、方法论和哲学大会74 pp 89–（1971）
[43] 第二十届ACM SIGPLAN-SIGACT编程语言原理年度研讨会会议记录，1992年1月10日至13日，南卡罗来纳州查尔斯顿，第71页–（1993）
[44] 内政部：10.2307/2266170·Zbl 0023.28901号 ·doi:10.2307/2266170
[45] 《美国数学杂志》58页354页–（1936）
[46] DOI:10.1007/BFb0060623·doi:10.1007/BFb0060623
[47] F.P.拉姆齐：数学和其他逻辑论文的基础（1960）
[48] 直觉主义类型理论（1984）
[49] 技术报告ECS-LFCS-92-211（1992）
[50] 内政部：10.1007/3-540-15975-4_26·文件编号：10.1007/3-540-15975-4_26
[51] ACM/MIT函数语言和计算机体系结构会议记录第85页–（1981）
[52] DOI:10.1002/spe.4380090105·兹伯利0386.68009 ·doi:10.1002/spe.4380090105
[53] DOI:10.307/2268280·Zbl 0018.19305号 ·doi:10.2307/2268280
[54] 伦敦数学学会会刊。第二系列。第42页230–（1936）
[55] 内政部：10.1007/3-540-56992-8_7·doi:10.1007/3-540-56992-87
[56] 直觉算术与分析的元数学研究344（1973）
[57] Gerhard Gentzen（1969）的论文集
[58] 行动中的语言：类别、lambdas和动态逻辑130（1991）·Zbl 0717.03001号
[59] 通用Lisp：语言（1984）·Zbl 0757.68008号
[60] 建构数学基础（1980）
[61] 计算机科学中的数学结构（1997）
[62] 第24届计算机科学基础年会pp 460–（1983）
[63] 符号逻辑杂志58第89页–（1993）
[64] 理论计算机科学手册B（1990）
[65] 内政部：10.1093/comjnl/6.4.308·Zbl 0122.36106号 ·doi:10.1093/comjnl/6.4.308
[66] SMC研究图片第39页–（1996）
[67] 格兰德拉赫德分析（1960）
[68] 信息与计算第104页–（1993）
[69] 内政部：10.1016/0168-0072（94）00022-U·Zbl 0819.03004号 ·doi:10.1016/0168-0072（94）00022-U
[70] L'age de la Science 3第17页–（1970）
[71] 内政部：10.1016/S0019-9958（82）90796-3·Zbl 0542.03004号 ·doi:10.1016/S0019-9958（82）90796-3
[72] 内政部：10.2307/1968646·Zbl 0012.14602号 ·doi:10.2307/1968646
[73] 内政部：10.1109/MAHC.1981.10004·兹伯利05083995 ·doi:10.10109/MAHC.181.10004
[74] 技术报告AI-TR-474（1978）
[75] 美国数学学会学报146第29页–（1969）
[76] Grundzüge der theoretischen logik二十七（1928）·JFM 54.0055.01号
[77] 函数式编程：应用与实现（1980）·Zbl 0426.68059号
[78] 内政部：10.1016/0304-3975（79）90007-0·Zbl 0411.03050号 ·doi:10.1016/0304-3975（79）90007-0
[79] 内政部：10.1137/021162·Zbl 0493.68022号 ·数字对象标识代码：10.1137/021162
[80] Videnskapsselskapets skrifter，I.Matematisk-naturvidenskaleg klasse 6第302页–（1923）
[81] 第十三届软件技术和理论计算机科学基础会议论文集761（1993）
[82] LFCS’94 813会议记录第316页–（1994）
[83] 内政部：10.1007/BFb0073967·doi:10.1007/BFb0073967
[84] 从普遍形态到兆字节：Baayen space-odyssey第141页–（1994）
[85] 内政部：10.1007/BFb0060636·doi:10.1007/BFb0060636
[86] Lambda calculi，pp 117型–（1992）
[87] Archief für Mathematische Logik 25第113页–（1976）
[88] 函数编程杂志1 pp 229–（1991）
[89] 数学原理2（1910）·JFM 41.0083.02号
[90] 《lambda演算：语法和语义》（1984）
[91] 内政部：10.1145/359576.359579·Zbl 0383.68013号 ·doi:10.1145/359576.359579
[92] 第11届计算机科学逻辑年会论文集第86页–（1996）
[93] 代数与逻辑（第十四届夏季研究所，澳大利亚数学学会，蒙纳士大学，克莱顿，1974）450页，第1页–（1975）
[94] 续编（1992）
[95] 元数学导论（1952）
[96] 内政部：10.1007/BF01459088·JFM 54.0056.06号 ·doi:10.1007/BF01459088
[97] 内政部：10.1215/S0012-7094-36-00227-2·Zbl 0014.38505号 ·doi:10.1215/S0012-7094-36-00227-2
[98] 计算机科学逻辑手册，第2卷：背景：计算结构（1992）
[99] SIGPLAN通知19第58页–（1984）
[100] 编程语言（1962）·Zbl 0101.34503号
[101] 内政部：10.1093/comjnl/32.2.98·doi:10.1093/comjnl/32.2.98
[102] ACM SIGPLAN通知27 pp R1–（1992）
[103] 键入lambda calculi和应用第216页–（1977年）
[104] 智力之谜（1983）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。