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:
- Algebraic
Semantics of Imperative Programs, and
- Theorem
Proving and Algebra.
Here, just two main topics are discussed:
- reduction, and
- 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