Hajnal, András; Nemeti, I. Applications of universal algebra, model theory, and categories in computer science. (English) Zbl 0446.68021 Comput. Linguist. Comput. Lang. 13, 251-282 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q65 Abstract data types; algebraic specification 68-02 Research exposition (monographs, survey articles) pertaining to computer science 00A15 Bibliographies for mathematics in general 68Q45 Formal languages and automata 18B20 Categories of machines, automata 08C15 Quasivarieties 68Q60 Specification and verification (program logics, model checking, etc.) 68P05 Data structures 68N01 General topics in the theory of software Keywords:universal algebra; model theory; denotational semantics; abstract data types; heterogeneous algebra; tree automata; non-procedural programming languages; fixed point approaches to semantics; free magma approach to semantics PDFBibTeX XMLCite \textit{A. Hajnal} and \textit{I. Nemeti}, Comput. Linguist. Comput. Lang. 13, 251--282 (1979; Zbl 0446.68021)