Algebras and coalgebras, in Revised Lectures from Int. Summer School and Wksh. on Algebraic and Coalgebraic (2000)

by P Aczel
Venue:Methods in the Mathematics of Program Construction, ACMMPC 2000