なぜラムダ計算は「計算」なのですか？

私が知っている「微積分」の唯一の定義は、分析における限界、微分、積分などの研究です。ラムダ計算（またはmu計算など）はどのような意味で「計算」ですか？分析における微積分とどのように関係していますか？

微積分は単なる推論のシステムです。1つの特定の計算（実際、密接に関連する2つの計算：微分計算と積分計算）は非常に普及しており、たった1つの計算であるかのように「計算」と呼ばれています。しかし、あなたが観察したように、ラムダ計算、ミュー計算、パイ計算、命題計算、述語計算、シーケント計算、教授計算など、他の計算があります。

微積分学とは、代数記法の特別なシステムによって問題を処理する体系的な方法、一般に計算の方法を指します。