Maria Emilia Maietti Paola Maneggia Valeria de Paiva Eike Ritter Relating Categorical Semantics for Intuitionistic Linear Logic. 1-36 2005 13 Applied Categorical Structures 1 http://dx.doi.org/10.1007/s10485-004-3134-z db/journals/acs/acs13.html#MaiettiMPR05