Return to Article Details The binary operations calculus in H Download Download PDF