Algebra and Coalgebra in Computer Sciencede Andrea CorradiniMateriasLogic designComputational complexityComputer scienceData processingAlgebraComputer software, developmentComputer science, mathematicsComputation by Abstract DevicesModels and PrinciplesSymbolic and Algebraic Manipulation