Equational axiomatisability for coalgebra (2000)

by G Rosu
Venue:Theoretical Computer Science