兰姆达演算（Lambda calculus），哲学-哲学-逻辑学-逻辑，美国逻辑学家A.丘奇于20世纪30年代提出的一套形式系统。又称λ-演算。基本想法是将函项看作规则，展示从论元到真值的运算过程，而非集合论意义上由论元与真值组成的有序对的集合。将函项看作规则的思路便于发挥函项的计算优势。“兰姆达”指希腊字母λ，用来指示在函项式中被约束的变元，一般称为λ-算子。兰姆达演算分为基于类型和不基于类型的版本。在语言逻辑研究中，通常使用基于类型的兰姆达演算版本。由于语义类型与句法范畴之间有投射关系，所以以范畴语法为句法毗连运算的基础、以基于类型的兰姆达演算为语义组合性运算的基础，就可以实现自然语言句法毗连和语义生成的并行推演，采用这一思路的逻辑语法有蒙太格语法、类型逻辑语法、组合范畴语法等。