Combinatorial Theory
M.P.Fiore, N.Gambino, M.Hyland, and
G.Winskel.
The cartesian closed bicategory of generalised
species of structures.
In
J. London Math. Soc.,
77:203-220,
2008.
[preprint]
M.P.Fiore.
Mathematical models of computational and
combinatorial structures.
Invited
address
for Foundations of Software Science and Computation Structures
(FOSSACS 2005) at the European Joint Conferences on Theory and Practice
of
Software (ETAPS), volume 3441 of Lecture Notes in Computer Science,
pages 25-46.
Springer-Verlag, 2005.
[pdf
preprint]
[Springer]
M.P.Fiore and M.Menni.
Reflective Kleisli subcategories of the category
of Eilenberg-Moore algebras for factorization monads.
In Proceedings of the International Category
Theory Conference (CT2004),
Theory and Applications of Categories, Vol. 15, No. 2, pp. 40-65,
2005.
[TAC]
M.P.Fiore.
Notes on combinatorial functors.
Draft notes, 2001.
[pdf
file]