Title: Algebra and Coalgebra in Computer Science
Subjects: Logic design, Computational complexity, Computer science, Data processing, Algebra, Computer software, development, Computer science, mathematics, Computation by Abstract Devices, Models and Principles, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages, Logics and Meanings of Programs