The equational theory of parameterized specifications
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.
scientific article; zbMATH DE number 4076590
scientific article