艾伦·图灵
阿隆佐·邱奇在1930年代开发的λ演算，是建造自的一种计算的形式系统。在1937年，艾伦·图灵证明了λ演算和图灵机是等价的计算模型，展示了λ演算是图灵完备性的。λ演算形成了所有函数式编程语言的基础。另一种等价的理论公式化是组合子逻辑，它由和哈斯凯尔·柯里在1920年代和1930年代开发。