Abstract Datatype Approach to Consistency:A Software Analogy

(The Lambda Calculus)

Provides symbolic canonical form

(Boolean Algebra? HOL?)

sequential canonical form?

Previous slide

Next slide

Back to first slide

View graphic version