[**calculus**] has come to mean a set of rules for
computing, as in the lambda calculus, or a set of rules for
reasoning, as in the predicate calculus.

-- Wegner. The Object-Oriented Classification Paradigm. 1987