An algebraic axiomatization of linear logic models | Publicación