Abstract Datatype Approach to Consistency: A Software Analogy
Abstract Datatype Approach to Consistency: A Software Analogy
(The Lambda Calculus)
Provides symbolic canonical form
(Boolean Algebra? HOL?)
sequential canonical form?
NSF Summer Workshop, Nov. ‘87