|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
57
|
Specifying coalgebras with modal logic
– Alexander Kurz
- 2001
|
|
23
|
Coalgebras and Modal Logic
– Alexander Kurz
- 1998
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
21
|
An Axiomatics for Categories of Coalgebras
– John Power, Hiroshi Watanabe
- 1998
|
|
119
|
Handbook of categorical algebra
– Francis Borceux
- 1994
|
|
55
|
Logics for Coalgebras and Applications to Computer Science
– A Kurz
- 2001
|
|
12
|
Adjoint machines, state-behaviour machines and duality
– M Arbib, E Manes
- 1975
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
89
|
Categorical logic and type theory
– B Jacobs
- 1999
|
|
208
|
Abstract and Concrete Categories
– J Adámek, H Herrlich, G Strecker
- 1990
|
|
11
|
Towards a duality result in coalgebraic modal logic
– B Jacobs
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
7
|
A coequational approach to specifying behaviours
– Corina Cirstea
- 1999
|
|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
25
|
Non-Well-Founded Sets”; Center for the Study of Language and
– P Aczel
- 1998
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
599
|
Concurrency and automata on infinite sequences
– D Park
- 1981
|
