TY - JOUR AU - Gabriella Bohm TI - The formal theory of multimonoidal monads JO - Theory and applications of categories PY - 2019 SP - 295 EP - 348 VL - 34 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2019_34_a11/ LA - en ID - TAC_2019_34_a11 ER -