This main idea says that the two calculus processes , differential and integral calculus , are opposites . That is , a person can use differential calculus to undo an integral calculus process . Some examples of other well-known calculi are propositional calculus , variational calculus , lambda calculus , pi calculus , and join calculus .