Mongruences and cofree coalgebras (1995)

by Bart Jacobs
Venue:Algebraic Methodology and Software Technology (AMAST95