lambda演算 参考书
以下是一些关于lambda演算的参考书目：
1. "Lambda-Calculus and Combinators: An Introduction" by John H. Conway and Simon B. Kochen - 这本书是一个很好的入门教材，由两位数学家编写，并提供了对lambda演算和组合子的详细介绍。
2. "The Lambda Calculus: Its Syntax and Semantics" by Henk Barendregt - 这本书是一个受欢迎的教材，提供了广泛的关于lambda演算和它的语法和语义的覆盖。
3. "Lambda Calculi: A Guide for Computer Scientists" by Chris Hankin - 这本书提供了一个针对计算机科学家的全面介绍，涵盖了lambda演算的各个方面以及其在编程语言和计算模型中的应用。
4. "The Lambda Calculus: Its Syntax, Semantics and Implementation" by Henk Barendregt and Willem-Paul de Roever - 这本书提供了关于lambda演算的形式语法和语义的详细介绍，并深入讨论了其在编程语言实现中的应用。
5. "Lambda-Calculus and Computation: An Introduction" by Hindley J.R. and Seldin J.P. - 这本书是关于lambda演算和计算的综合介绍，涵盖了其在函数式编程和计算理论中的应用。
lambda编程请注意，以上的参考书目仅供参考，可以根据自己的需求和兴趣选择适合自己的书籍。

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。