A comonadic account of behavioural covarieties of coalgebras (2004)

by Robert Goldblatt
Venue:Mathematical Structures in Computer Science