1. Rings and categories of modules;Anderson,1992
2. Differential categories;Blute;Math. Structures Comput. Sci.,2006
3. Semirings and formal power series;Droste,2009
4. Rota-Baxter algebras in renormalization of perturbative quantum field theory;Ebrahimi-Fard;Fields Inst. Commun.,2007
5. Finiteness spaces;Ehrhard;Math. Structures Comput. Sci.,2005