ラムダ計算の正式な定義。ラムダ計算は、ラムダ抽象化と関数適用に基づくプログラミング言語です。言語の2つの定義がここに与えられています。
 標準定義数式を使用した定義。