Coequational Logic for Finitary Functors

Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Daniel Schwencke
• Keywords: Coequational Logic, ENTCS 2008, Functors, Logic