Relating Categorical Semantics for Intuitionistic Linear Logic. - Maria Emilia Maietti; Paola Maneggia; Valeria de Paiva; Eike Ritter (Appl. Categorical Struct., 2005)