Federico De Marchi

According to our database, Federico De Marchi authored at least 10 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Hop-On Hop-Off Routing: A Fast Tour across the Optical Data Center Network for Latency-Sensitive Flows.

Jialong Li, Yiming Lei, Federico De Marchi, Raj Joshi, Balakrishnan Chandrasekaran, Yiting Xia

Proceedings of the 6th Asia-Pacific Workshop on Networking, 2022

2007

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

Federico De Marchi, Benno van den Berg

J. Symb. Log., 2007

Non-well-founded trees in categories.

Benno van den Berg, Federico De Marchi

Ann. Pure Appl. Log., 2007

2005

Monads of coalgebras: rational terms and term graphs.

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.

Federico De Marchi

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2003

Dualising Initial Algebras.

Neil Ghani, Christoph Lüth, Federico De Marchi, John Power

Math. Struct. Comput. Sci., 2003

Solving Algebraic Equations Using Coalgebra.

Federico De Marchi, Neil Ghani, Christoph Lüth

RAIRO Theor. Informatics Appl., 2003

2002

Coalgebraic Monads.

Neil Ghani, Christoph Lüth, Federico De Marchi

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Coalgebraic approaches to algebraic terms.

Neil Ghani, Christoph Lüth, Federico De Marchi

Proceedings of the Fixed Points in Computer Science, 2002

2001

Algebras, Coalgebras, Monads and Comonads.

Neil Ghani, Christoph Lüth, Federico De Marchi, John Power

Proceedings of the Coalgebraic Methods in Computer Science, 2001