λ-演算与组合算符初步介绍

• 作者: J．R．欣德利 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 物理学
• 关键词: λ-演算 算符 组合逻辑 逻辑系统 编程语言 逻辑学 算子
• 年，卷（期）: 2010,（11）
• 页码范围: 13-14
• 页数: 2页
• 分类号: O413.1

摘要

λ-演算和组合逻辑是逻辑的两个系统，它们都发挥了抽象编程语言的作用。这两者都旨在描述程序的极为通用的性质。在某些方面，它们是互相竞争的，在其他它们又是相互支撑的。λ-演算是美国逻辑学家A．Church在1930年左右发明的，它是作为包括高阶算子（即可以作用于其他算子的算子）在内的概括逻辑系统的一部分。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光华	中国科学院物理学研究所	92	0	0.0	0.0