Federico De Marchi

Non-well-founded trees in categories

Benno van den Berg, Federico De Marchi · Annals of Pure and Applied Logic · 2007 · 33 citations

Tree Language, Tree Automaton, Non-well-founded Trees +1

Algebras, Coalgebras, Monads and Comonads

Neil Ghani, Christoph Lüth, Federico De Marchi et al. · Electronic Notes in Theoretical Computer Science · 2001 · 26 citations · Full text

Algebraic Logic, Final Coalgebras, Automated Reasoning +7

Dualising initial algebras

Neil Ghani, CHRISTOPH LTH, Federico De Marchi et al. · Mathematical Structures in Computer Science · 2003 · 22 citations

Algebraic Logic, Abstract Algebra, Representation Theory +9

Monads of coalgebras: rational terms and term graphs

Neil Ghani, Christoph Lüth, Federico De Marchi · Mathematical Structures in Computer Science · 2005 · 12 citations

Algebraic Logic, Programming Language Theory, Hopf Algebra +12

Models of non-well-founded sets via an indexed final coalgebra theorem

Benno van den Berg, Federico De Marchi · Journal of Symbolic Logic · 2007 · 11 citations

Non-well-founded Sets, Algebraic Logic, Final Coalgebras +9