是邱奇的“无类型lambda演算”，此后，已经研究出来了一些有类型lambda演算。
解释与应用.λ演算是图灵完备的，也就是说，这是一个可以用于模拟任何图灵机的通用模型。 λ也被用在λ表达式和λ项中，用来表示将一个变量绑定在一个函数上。λ演算可以是有类型或者无类型的，在有类型λ演算中（上文所述是无类型的），函数只能在参数类型和输入类型符合时被应用。有类型λ演算比无类型λ演算要弱——后者是这个条目的主要部分——因为有类型的λ运算能表达的比无类型λ演算少；与此同时，前者使得更多定理