Federico De Marchi

	2007
9		Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. Ann. Pure Appl. Logic 146(1): 40-59 (2007)
8		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
7		Federico De Marchi: On the Semantics of Coinductive Types in Martin-Löf Type Theory. CALCO 2005: 114-126
6		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		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		Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): 71-91 (2002)
	2001
1		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)

Coauthor Index

1	Benno van den Berg	[8] [9]
2	Neil Ghani	[1] [2] [3] [4] [5] [6]
3	Christoph Lüth	[1] [2] [3] [4] [5] [6]
4	John Power (A. John Power)	[1] [4]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page