Sciweavers

APAL
1999
97views more  APAL 1999»
13 years 10 months ago
Coalgebraic Logic
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
Lawrence S. Moss