Mongruences and cofree coalgebras (1995)

by B Jacobs
Venue:Algebraic Methodology and Software Technology (AMAST