lambda calculus

[ˈlæmdə ˈkælkjʊləs] ラムダ カルキュラス

1. 関数の抽象化と適用に基づいた計算の形式体系。

数学論理学や計算機科学における形式的なシステムで、関数の抽象化と適用に基づいた計算を表現します。変数の束縛と置換を用いて、非常に単純な操作で複雑な計算を表すことができます。
Lambda calculus is a formal system in mathematical logic. (ラムダ計算は数理論理学における形式体系です。)
関連
Turing machine
Mathematical logic
Alonzo Church
Type theory