λ演算
时代：早期理论 · 1930年代—1950年代
阿隆佐·丘奇提出了λ演算（Lambda Calculus），这是一个形式化的函数定义和函数应用系统。λ演算被视为函数式编程的理论基础。1936年的原始λ演算是无类型的；丘奇在1940年的《简单类型论的形式化》中加入了简单类型，创建了最早的显式类型系统之一。它与图灵机在计算能力上是等价的。
阿隆佐·丘奇 (1903—1995)
来源与支持内容
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · 来源类型：paper
Church’s 1936 paper presents lambda-definability and undecidability.
发布日期： ·访问日期：