|
3
|
Relating Two Approaches to Coinductive Solution of Recursive Equations
– Bart Jacobs
- 2004
|
|
2
|
COPRODUCTS OF IDEAL MONADS
– Neil Ghani, Tarmo Uustalu
- 2004
|
|
11
|
Distributive laws for the coinductive solution of recursive equations
– Bart Jacobs
|
|
|
Languages, Theory
– Neil Ghani, Tarmo Uustalu
|
|
|
Substitution in non-wellfounded . . .
– Ralph Matthes, Tarmo Uustalu
- 2003
|
|
6
|
Recursive coalgebras from comonads
– Venanzio Capretta, Tarmo Uustalu, Varmo Vene
- 2006
|
|
4
|
Explicit Substitutions and Higher-Order Syntax (Extended Abstract)
– Neil Ghani, Tarmo Uustalu
- 2003
|
|
3
|
Build, augment and destroy. Universally
– Neil Ghani, Tarmo Uustalu, Varmo Vene
- 2004
|
|
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
– Er Kurz, Paula Severi, Fer-jan De Vries
|
|
2
|
Recursion Schemes for Dynamic Programming
– Jevgeni Kabanov, Varmo Vene
|
|
1
|
The Recursion Scheme from the Cofree Recursive Comonad
– Tarmo Uustalu, Varmo Vene
|
|
2
|
The essence of dataflow programming (short version
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
11
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
3
|
On iterable endofunctors
– Stefan Milius
- 2003
|
|
|
FINAL COALGEBRAS IN ACCESSIBLE CATEGORIES
– Panagis Karazeris, Apostolos Matzaris, Jiˇrí Velebil
- 905
|
|
|
Kleene Coalgebra – an overview
– Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
|
|
10
|
Non-Deterministic Kleene Coalgebras
– Alexandra Silva, Marcello Bonsangue, Jan Rutten
|
|
15
|
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory
– Gheorghe Stefanescu
|
|
18
|
Rational Term Rewriting
– A. Corradini, F. Gadducci
- 1998
|
