| 2007 |
|---|
| 8 | EE | Benno van den Berg,
Federico De Marchi:
Non-well-founded trees in categories.
Ann. Pure Appl. Logic 146(1): 40-59 (2007) |
| 2005 |
|---|
| 7 | EE | Federico De Marchi:
On the Semantics of Coinductive Types in Martin-Löf Type Theory.
CALCO 2005: 114-126 |
| 6 | EE | Neil Ghani,
Christoph Lüth,
Federico De Marchi:
Monads of coalgebras: rational terms and term graphs.
Mathematical Structures in Computer Science 15(3): 433-451 (2005) |
| 2003 |
|---|
| 5 | EE | Federico De Marchi,
Neil Ghani,
Christoph Lüth:
Solving Algebraic Equations Using Coalgebra.
ITA 37(4): 301-314 (2003) |
| 4 | | Neil Ghani,
Christoph Lüth,
Federico De Marchi,
John Power:
Dualising Initial Algebras.
Mathematical Structures in Computer Science 13(2): 349-370 (2003) |
| 2002 |
|---|
| 3 | | Neil Ghani,
Christoph Lüth,
Federico De Marchi:
Coalgebraic approaches to algebraic terms.
FICS 2002: 6-8 |
| 2 | EE | Neil Ghani,
Christoph Lüth,
Federico De Marchi:
Coalgebraic Monads.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2001 |
|---|
| 1 | EE | Neil Ghani,
Christoph Lüth,
Federico De Marchi,
John Power:
Algebras, Coalgebras, Monads and Comonads.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
