这本书居然这么老!
Alonzo Church 在 1941 年写的 The Calculi of Lambda-Conversion。它详细地介绍了 Lambda 演算,这是一种用来研究函数和计算的数学工具。Lambda 演算后来帮助人们创造了一种新的编程方式,叫做函数式编程,这对计算机科学的发展有很大帮助。
lispChen于2024-07-30 08:27发布的图片
评论