简单类型论

简单类型论可以指:

•	简单类型 $\mathbf{\lambda }$ 演算, 一种纯类型论, 作为一个名词已经基本取代 Russell 的简单类型论. “简单类型” 的类型论就是指简单类型 $\lambda$ 演算.

•	Russell 简单类型论, 是分歧类型论的演化版本, 由 Bertrand Russell 提出, Alonzo Church 简化.

参见: lambda 演算