José Luis Fiadeiro

• Algebra and Coalgebra in Computer Science