Quotient systems in Grothendieck topoi Kimmo I. Rosenthal — 1982 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Sheaves and local equivalence relations Kimmo I. Rosenthal — 1984 Cahiers de Topologie et Géométrie Différentielle Catégoriques
A note on categories enriched in quantaloids and modal and temporal logic Kimmo I. Rosenthal — 1993 Cahiers de Topologie et Géométrie Différentielle Catégoriques
A note on Girard quantales Kimmo I. Rosenthal — 1990 Cahiers de Topologie et Géométrie Différentielle Catégoriques
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