General Algebra
We assume general familiarity with such notions as signature, algebra, term and initial algebra. The necessary background information can be found in the following:
  1. Algebraic Semantics of Imperative Programs, and
  2. Theorem Proving and Algebra.
Here, just two main topics are discussed:
  1. reduction, and
  2. induction.
In addition, a discussion of initial semantics is attached to the discussion of induction.

The [Home] button on the page bottom will get you back here, and the [BHome] button will take you to the background information home page.

[Next] [BHome] [Links Home]
12 October 1996