|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
53
|
Functorial Operational Semantics and its Denotational Dual
– D Turi
- 1996
|
|
186
|
Non-well-founded sets
– P ACZEL
- 1988
|
|
6
|
Substitution in Non-wellfounded Syntax with Variable Binding
– Ralph Matthes, Tarmo Uustalu
- 2003
|
|
87
|
Vicious circles
– Jon Barwise, Larry Moss
- 1996
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
3
|
On iterable endofunctors
– Stefan Milius
- 2003
|
|
27
|
On the algebraic structure of rooted trees
– C C Elgot, S L Bloom, R Tindell
- 1978
|
|
11
|
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
22
|
Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads
– Marina Lenisa, John Power, Hiroshi Watanabe
- 2000
|
|
7
|
Coalgebraic Monads
– Neil Ghani, Christoph Lüth, Federico De Marchi
- 2002
|
|
17
|
Free iterative theories: A coalgebraic view
– J Adámek, S Milius, J Velebil
|
|
10
|
Dualising initial algebras
– N Ghani, C Luth, F de Marchi, J Power
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
4
|
On rational monads and free iterative theories
– J Adámek, S Milius, J Velebil
- 2002
|
|
45
|
Monadic computation and iterative algebraic theories
– C C Elgot
- 1975
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
31
|
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
– Falk Bartels
- 2004
|
|
43
|
Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series
– J. J. M. M. Rutten
- 2000
|
