Jose Luiz Fiadeiro

Algebra and coalgebra in computer science

Categories for Software Engineering