Interpretations of equational specifications of abstract data types

Abstract

Here we define a notion of interpretation for equational specifications of abstract data types. Then we show that relative this interpretation (after standard factorization) the class of all varieties generated by abstract data types forms a complete lattice.

Мы определяем понятие интерпретации для эквациональных спецификаций абстрактных типов данных. Затем показывается, что относительно этой интерпретации (после стандартной факторизации) класс всех многообразий, порождѐнных абстрактными типами данных составляет некоторую полную решѐтку.