We stand with Ukraine  

Federico De Marchi

Affiliations:
  • ING Group, Amsterdam, The Netherlands
  • Banca Carige, Genova, Italy (former)
  • Utrecht University, Department of Mathematics, Utrecht, The Netherlands (former)
  • University of Leicester, Department of Mathematics and Computer Science, Leicester, UK (former, PhD)


According to our database1, Federico De Marchi authored at least 9 papers between 2001 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Models of non-well-founded sets via an indexed final coalgebra theorem.
[BibTeX]
[DOI]
Federico De Marchi
,
Benno van den Berg
J. Symb. Log., 2007

Non-well-founded trees in categories.
[BibTeX]
[DOI]
Benno van den Berg
,
Federico De Marchi
Ann. Pure Appl. Log., 2007

2005
Monads of coalgebras: rational terms and term graphs.
[BibTeX]
[DOI]
Neil Ghani
,
Christoph Lüth
,
Federico De Marchi
Math. Struct. Comput. Sci., 2005

On the Semantics of Coinductive Types in Martin-Löf Type Theory.
[BibTeX]
[DOI]
Federico De Marchi
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2003
Dualising Initial Algebras.
[BibTeX]
[DOI]
Neil Ghani
,
Christoph Lüth
,
Federico De Marchi
,
John Power
Math. Struct. Comput. Sci., 2003

Solving Algebraic Equations Using Coalgebra.
[BibTeX]
[DOI]
Federico De Marchi
,
Neil Ghani
,
Christoph Lüth
RAIRO Theor. Informatics Appl., 2003

2002
Coalgebraic Monads.
[BibTeX]
[DOI]
Neil Ghani
,
Christoph Lüth
,
Federico De Marchi
Proceedings of the Coalgebraic Methods in Computer Science, 2002

Coalgebraic approaches to algebraic terms.
[BibTeX]
Neil Ghani
,
Christoph Lüth
,
Federico De Marchi
Proceedings of the Fixed Points in Computer Science, 2002

2001
Algebras, Coalgebras, Monads and Comonads.
[BibTeX]
[DOI]
Neil Ghani
,
Christoph Lüth
,
Federico De Marchi
,
John Power
Proceedings of the Coalgebraic Methods in Computer Science, 2001


  Loading...