Login / Signup

A comonadic account of behavioural covarieties of coalgebras.

Robert Goldblatt
Published in: Math. Struct. Comput. Sci. (2005)
Keyphrases
  • databases
  • training data