简单类型λ演算 简单类型 lambda 演算 λ  displaystyle lambda to  是连接词只有  displaystyle to  函数类型的有类型 lambda 演算这使它成为规范的在很多方面是最简单的有类型 lambda 演算的例子 简单类型也被用来称呼对简单类型 lambda 演算的扩展比如积陪积或自然数系统 T甚至完全的递归如PCF相反的介入了多态类型如系统F或依赖类型如逻辑框架的系统不被当作是简单类型简单类型 lambda 演算最初由阿隆佐邱奇在  年介入来尝试避免无类型 lambda 演算的悖论性使用