λ 演算
時代：早期理論 · 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.
發布日期： ·存取日期：