|
18
|
Calculus in Coinductive Form
– D. Pavlovic, M.H. Escardó
- 1998
|
|
43
|
Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series
– J. J. M. M. Rutten
- 2000
|
|
1
|
Bypasses: a Simple Approach to Complexity
– Z A Melzak
- 1983
|
|
1
|
Report on the Programming Language Haskell. Available from http://www.haskell.org
– J Peterson, K Hammond
- 1997
|
|
3
|
Functional pearl: Power series, power serious
– M D McIlroy
- 1999
|
|
27
|
Exponential numbers
– E T Bell
- 1934
|
|
8
|
Generating Power of Lazy Semantics
– Jerzy Karczmarczuk
- 1997
|
|
102
|
A Practical Theory of Programming
– E C R Hehner
- 1993
|
|
1
|
Denotational testing semantics in coinductive form
– M Boreale, F Gadducci
- 2003
|
|
1
|
Bisimulation up-to for the linear time branching time spectrum
– D de Frutos Escrig, C G Rodriguez
- 2005
|
|
1
|
partial automata and coalgebras, Theoret
– U Wolter, CSP
- 2002
|
|
3
|
A bialgebraic review of regular expressions, deterministic automata and languages
– B Jacobs
- 2005
|
|
5
|
Final coalgebras are ideal completions of initial algebras
– J Adámek
|
|
3
|
Simulations in coalgebra. Theoret
– J Hughes, B Jacobs
- 2004
|
|
82
|
Extensional Equivalences for Transition Systems
– R De Nicola
- 1987
|
|
11
|
Context-free languages via coalgebraic trace semantics
– Ichiro Hasuo, Bart Jacobs
- 2005
|
|
15
|
Trace Semantics for Coalgebras
– Bart Jacobs
- 2003
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
|
21
|
Tropical Semirings
– Jean-Eric Pin
|
