ラムダ計算とはなんですか？

A. ラムダ計算とは、計算を関数と引数の評価という2つのステップでモデル化した計算体系です。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97