为什么lambda演算是“演算”？

我知道的“微积分”的唯一定义是研究分析中的极限，导数，积分等。Lambda演算（或诸如mu演算）在什么意义上是“演算”？它与分析中的微积分有何关系？

微积分只是推理系统。一种特殊的演算（实际上是两个紧密相关的演算：微分演算和积分演算）已经变得非常普遍，以至于它被称为“演算”，就好像它是唯一的演算一样。但是，正如您所观察到的，还有其他计算，例如lambda演算，mu演算，pi演算，命题演算，谓词演算，后续演算和Professor Calculus。

微积分是指通过特殊的代数符号系统来处理问题的系统方法，通常是一种计算方法。