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

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