Sciweavers

110
Voted
APAL
1999
97views more  APAL 1999»
15 years 22 days 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