Mathematical

• Domain relational calculus
  Domain relational calculus
  In computer science, domain relational calculus is a calculus that was introduced by Michel Lacroix and Alain Pirotte as a declarative database query language for the relational data model.In DRC, queries have the form:...
  
  , a calculus for the relational data model
• Functional calculus
  Functional calculus
  In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch of the field of functional analysis, connected with spectral theory. In mathematics, a functional calculus is a theory allowing one to apply mathematical...
  
  , a way to apply various types of functions to operators
• Join calculus, a theoretical model for distributed programming
• Lambda calculus
  Lambda calculus
  In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus...
  
  , a formulation of the theory of reflexive functions that has deep connections to computational theory
• Matrix calculus
  Matrix calculus
  In mathematics, matrix calculus is a specialized notation for doing multivariable calculus, especially over spaces of matrices, where it defines the matrix derivative. This notation was to describe systems of differential equations, and taking derivatives of matrix-valued functions with respect...
  
  , a specialized notation for multivariable calculus over spaces of matrices
• Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking
• Pi-calculus
  Pi-calculus
  In theoretical computer science, the π-calculus is a process calculus originally developed by Robin Milner, and David Walker as a continuation of work on the process calculus CCS...
  
  , a formulation of the theory of concurrent, communicating processes that was invented by Robin Milner
• Predicate calculus, specifies the rules of inference governing the logic of predicates
• Propositional calculus
  Propositional calculus
  In mathematical logic, a propositional calculus or logic is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true...
  
  , specifies the rules of inference governing the logic of propositions
• Refinement calculus
  Refinement Calculus
  Refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non-executable "program", which is then refined by a series of correctness-preserving transformations into an...
  
  , a way of refining models of programs into efficient programs
• Rho calculus
  Rho calculus
  The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.-External links:*...
  
  , introduced as a general means to uniformly integrate rewriting and lambda calculus
• Tuple calculus, a calculus for the relational data model, inspired the SQL language
• Umbral calculus
  Umbral calculus
  In mathematics before the 1970s, the term umbral calculus referred to the surprising similarity between seemingly unrelated polynomial equations and certain shadowy techniques used to 'prove' them. These techniques were introduced by and are sometimes called Blissard's symbolic method...
  
  , the combinatorics of certain operations on polynomials
• Vector calculus (also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space