%0 Journal Article %A J. R. B. Cockett %A R. A. G. Seely %T Finite sum - product logic %J Theory and applications of categories %D 2001 %P 63-99 %V 8 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2001_8_a4/ %G en %F TAC_2001_8_a4