†1930年代、数学者アロンゾ・チャーチが関数と変数(x、y)のみを使用する論理システムの作成を試みました。この論理システムはラムダ計算と呼ばれます。ラムダ計算では、すべてのものが関数として表されます。calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(evaluation)と適用(application)としてモデル化・抽象化した計算体系である。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。