One branch of mathematics with this name uses alpha conversion, beta reduction, and nu conversion.
One branch of mathematics with this name uses alpha conversion, beta reduction, and nu conversion. That system, developed by Stephen Kleene and Alonzo Church, is also named for the abstraction operator lambda.  Another branch of mathematics with this name, also called vector analysis, uses the del operator to represent the curl and divergence operators. That branch also uses the Frenet–Serret [freh-nay sair-ay] formulas to relate the binormal, normal, and tangent vectors. The best known branch of mathematics with this name uses limits to define its central concepts. Name this branch of mathematics that uses integrals and derivatives.
One branch of mathematics with this name uses alpha conversion, beta reduction, and nu conversion.
calculus [accept lambda calculus or vector calculus or multivariable calculus or differential calculus or integral calculus]