Equational and implicational classes of coalgebras. extended abstract (1998)

by H Peter Gumm
Venue:In The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science