型付きラムダ計算（英:typedlambdacalculus）とは、無名の関数の抽象表現にラムダ(λ{\displaystyle\lambda})というシンボルを用いる型付き形式手法である。
有类型lambda演算是使用lambda符号（λ{\displaystyle\lambda}）指示匿名函数抽象的一种有类型的形式化。