|
43
|
Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series
– J. J. M. M. Rutten
- 2000
|
|
31
|
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
– Falk Bartels
- 2004
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
51
|
Automata and coinduction (an exercise in coalgebra
– J. J. M. M. Rutten
- 1998
|
|
22
|
Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads
– Marina Lenisa, John Power, Hiroshi Watanabe
- 2000
|
|
64
|
On the Bisimulation Proof Method
– Davide Sangiorgi
- 1994
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
3
|
On iterable endofunctors
– Stefan Milius
- 2003
|
|
12
|
Parametric Corecursion
– Lawrence S. Moss
|
|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
27
|
On the algebraic structure of rooted trees
– C C Elgot, S L Bloom, R Tindell
- 1978
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
186
|
Non-well-founded sets
– P ACZEL
- 1988
|
|
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
|
|
3
|
Coinduction in Coq
– Yves Bertot
- 2005
|
|
3
|
Formalising exact arithmetic in type theory
– Milad Niqui
- 2005
|
|
5
|
Completing the rationals and metric spaces in LEGO
– C Jones
- 1992
|
