Los términos se manipulan a través de algunas reglas, (la equivalencia, la reducción y la conversión), que son los axiomas de la teoría y pueden interpretarse como reglas de cálculo.