Magne Haveraaen

• Algebra and Coalgebra in Computer Science