Algebras and coalgebras (2000)

by P Aczel
Venue:In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction