ある観点から見れば、型付きラムダ計算は型を持たないラムダ計算を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。
更现代的观点把有类型lambda演算看做更基础的理论，而把无类型lambda演算看作它的只有一个类型的特殊情况。