Lambda 演算

$\mathbf{\lambda }$ 演算指使用 $\lambda$ 符号作为函数表达式的理论, 有如下几种版本:

•	Russell 简单类型论是 $\lambda$ 演算的前身.

•	无类型 $\mathbf{\lambda }$ 演算, 也就是所有值都共用同一个类型的 $\lambda$ 演算, 一般来说 $\lambda$ 演算特指这个版本.

•	简单类型 $\mathbf{\lambda }$ 演算.

•	类型论是基于 $\lambda$ 演算的形式理论的统称.