Algebraic theories. (English) Zbl 1010.68093
Summary: We presents the algebraic theories over an arbitrary monoid, main properties and calculus rules. Ordered, rationally closed and \(\omega\)-continuous theories on the one hand and matrix and complete matrix theories on the other hand are the main subjects of our presentation. Some examples coming from algebra and computer science finish this paper.
MSC:
68Q65 | Abstract data types; algebraic specification |
68N01 | General topics in the theory of software |