What is the coalgebraic analogue of Birkhoff’s variety theorem (2001)

by Robert Goldblatt
Venue:Theoretical Computer Science