|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
3
|
A bialgebraic review of regular expressions, deterministic automata and languages
– B Jacobs
- 2005
|
|
15
|
Trace Semantics for Coalgebras
– Bart Jacobs
- 2003
|
|
31
|
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
– Falk Bartels
- 2004
|
|
20
|
Recursion Schemes from Comonads
– Tarmo Uustalu, Varmo Vene, Alberto Pardo
- 2001
|
|
1
|
Available free for downloading at http://www.cwru.edu/artsci/math/wells/pub/ttt.html
– Springer-Verlag
- 1983
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
43
|
A 2-Categorical Approach To Change Of Base And Geometric Morphisms II
– A. Carboni , G.M. Kelly , D. Verity , R.J. Wood
- 1998
|
|
117
|
Terminal coalgebras in well-founded set theory
– M Barr
- 1993
|
|
255
|
C.: Elements of the Theory of Computation
– H Lewis, Papadimitriou
- 1981
|
|
255
|
Three models for the description of language
– N Chomsky
- 1956
|
|
19
|
Introduction to Coalgebra. Towards Mathematics of States and Observations
– Bart Jacobs
- 2005
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
12
|
A coalgebraic view of infinite trees and iteration
– P Aczel, J Adamek, J Velebil
- 2001
|
|
3
|
On iterable endofunctors
– Stefan Milius
- 2003
|
|
66
|
Alternating automata on infinite trees
– D E Muller, P E Schupp
- 1987
|
|
12
|
Parametric Corecursion
– Lawrence S. Moss
|
|
6
|
Quantales and their applications. Number 234
– K I Rosenthal
- 1990
|
|
27
|
On the algebraic structure of rooted trees
– C C Elgot, S L Bloom, R Tindell
- 1978
|
