| Toposes of coalgebras and hidden algebras, J.Worrel
(Oxford U, UK)
An axiomatics for categories of coalgebras, J.Power
(Edinburgh U, UK) and H.Watanabe (Hokkaido U, JP)
Guarded induction on final coalgebras, D.Pavlovic
(U Sussex, UK)
Structured transition systems as lax coalgebras,
A.Corradini, M.Grosse-Rhode, and R.Heckel (U Pisa, I)
Dialgebraic Logic, H.Reichel (U Dresden, D)
|