The equational theory of parameterized specifications (Q1111364)

This is another interesting paper of the author concerning parameterized specifications. The main result shows that the equational theorems valid in a parameterized data type can be derived in the inductive theory of the corresponding parameterized specification. In part two of the paper the result is extended to consistent models, i.e., those with initial interpretation of `bool' in the parameter part.