Universal Algebra
K. Meinke, John Vivian Tucker · 1992
Abstract This chapter is an introduction to the primary concepts, constructions and results about algebras, their isomorphism and axiomatization. As with other chapters in this Handbook, it is composed with the aims of teaching the mathematical theory and explaining its relevance to problems in computer science. Among areas of application we will consider are: abstract data types and their specification; syntax and semantics of programming languages; and synchronous concurrent algorithms and architectures. Some of these algebraic applications, and others such as asynchronous concurrent processes, are developed fully as the subject matter of chapters in later volumes of the Handbook.