- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| j7 |      | Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. Ann. Pure Appl. Logic 146(1): 40-59 (2007) |
| j6 | | Federico De Marchi, Benno van den Berg: Models of non-well-founded sets via an indexed final coalgebra theorem. J. Symb. Log. 72(3): 767-791 (2007) |
| 2005 | ||
| j5 | | 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) |
| c2 | | Federico De Marchi: On the Semantics of Coinductive Types in Martin-Löf Type Theory. CALCO 2005: 114-126 |
| 2003 | ||
| j4 | | Federico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003) |
| j3 | | Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003) |
| 2002 | ||
| j2 | | Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): 71-91 (2002) |
| c1 |  | Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic approaches to algebraic terms. FICS 2002: 6-8 |
| 2001 | ||
| j1 | | Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): 128-145 (2001) |
| 1 | Benno van den Berg | |
| 2 | Neil Ghani | |
| 3 | Christoph Lüth | |
| 4 | John Power (A. John Power) |
Data released under the ODC-BY 1.0 license — See also our legal information page