×

Applications of universal algebra, model theory, and categories in computer science. (English) Zbl 0446.68021

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
PDFBibTeX XMLCite