Algebras, Coalgebras, Monads and Comonads. - Neil Ghani; Christoph Lüth; Federico De Marchi 001; John Power (CMCS, 2001)

Coalgebraic approaches to algebraic terms. - Neil Ghani; Christoph Lüth; Federico De Marchi 001 (FICS, 2002)

Coalgebraic Monads. - Neil Ghani; Christoph Lüth; Federico De Marchi 001 (CMCS, 2002)

Solving Algebraic Equations Using Coalgebra. - Federico De Marchi 001; Neil Ghani; Christoph Lüth (RAIRO Theor. Informatics Appl., 2003)

Dualising Initial Algebras. - Neil Ghani; Christoph Lüth; Federico De Marchi 001; John Power (Math. Struct. Comput. Sci., 2003)

On the Semantics of Coinductive Types in Martin-Löf Type Theory. - Federico De Marchi 001 (CALCO, 2005)

Monads of coalgebras: rational terms and term graphs. - Neil Ghani; Christoph Lüth; Federico De Marchi 001 (Math. Struct. Comput. Sci., 2005)

Non-well-founded trees in categories. - Benno van den Berg; Federico De Marchi 001 (Ann. Pure Appl. Log., 2007)

Models of non-well-founded sets via an indexed final coalgebra theorem. - Federico De Marchi 001; Benno van den Berg (J. Symb. Log., 2007)