Book

Algebra and Coalgebra in Computer Science

by Andrea Corradini