J. Roger Hindley Lambda?Calculus and Combinators An Introduction 2008；
Hardback
ISBN9780521898850
J.R.欣德利等著
λ-演算和组合逻辑是逻辑的两个系统，它们都发挥了抽象编程语言的作用。

这两者都旨在描述程序的极为通用的性质。

在某些方面，它们是互相竞争的，在其他它们又是相互支撑的。

λ-演算是美国逻辑学家A.Church在1930年左右发明的，它是作为包括高阶算子(即可以作用于其他算子的算子)在内的概括逻辑系统的一部分。

事实上λ-演算语言或某些本质上等价的表示法，是大多数高阶语言的关键部分，无论这种语言是逻辑的，还是计算机编程的。

本书的目的就是向读者介绍这两个领域的基本方法与结果。

作者并不要求读者具有这两个领域的初步知识，但是要求读者具有一些有关命题逻辑、谓词逻辑和递归函数的知识，并且具有某些数学归纳法的经验。

本书共有16章。

λ-演算；组合逻辑；λ的幂与组合算符；可计算函数的表示；不可判定性理论；形式理论λ-β与CLw；λ?演算中的外延；组合逻辑中的外延性；λ与组合逻辑之间的对应；10.简单类型化Church式样；1简单类型化组合逻辑
的Curry式样；1简单类型化λ中的Curry式样；1类型化推广；1组合逻辑模型；1λ-演算模型；1Scott的D∞与其他模型。

最后是5个附录。

本书值得向任何想要研究组合逻辑与λ-演算的逻辑学家及计算机科学家郑重推荐。

胡光华，
高级软件工程师
(原中国科学院物理学研究所)
Hu Guanghua, Senior Software Engineer
(Former Institute of Physics,CAS)。