亨德里克·彼得·巴伦德雷特 威尔·德克尔斯 理查德·斯塔特曼 带类型的Lambda微积分。 I-XXII，1-833 剑桥大学出版社 2013 逻辑视角 978-0-521-76614-2 http://www.cambridge.org/de/academic/subjects/mathematics/logic-cateries-and-sets/lambda-calculus-types