Search the dblp DataBase
Federico De Marchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Federico De Marchi
On the Semantics of Coinductive Types in Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP]
CALCO, 2005, pp:114-126 [Conf] - Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic approaches to algebraic terms. [Citation Graph (0, 0)][DBLP]
FICS, 2002, pp:6-8 [Conf] - Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic Monads. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal] - Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Algebras, Coalgebras, Monads and Comonads. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal] - Federico De Marchi, Neil Ghani, Christoph Lüth
Solving Algebraic Equations Using Coalgebra. [Citation Graph (0, 0)][DBLP]
ITA, 2003, v:37, n:4, pp:301-314 [Journal] - Neil Ghani, Christoph Lüth, Federico De Marchi
Monads of coalgebras: rational terms and term graphs. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:433-451 [Journal] - Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Dualising Initial Algebras. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:349-370 [Journal] - Benno van den Berg, Federico De Marchi
Non-well-founded trees in categories. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2007, v:146, n:1, pp:40-59 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002