Die einzige mir bekannte Definition von "Kalkül" ist das Studium von Grenzen, Ableitungen, Integralen usw. in der Analyse. Inwiefern ist Lambda-Kalkül (oder Dinge wie Mu-Kalkül) ein "Kalkül"? In welcher Beziehung steht es zur Analysis in der Analyse?