Modules over a quantale and models for the operator ! in linear logic Kimmo I. Rosenthal (1994) Cahiers de Topologie et Géométrie Différentielle Catégoriques