Liste des citations dans Numdam pour : Calcul des relations inverses

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 18 (1977), p. 67-100 / Harvested from Numdam

Rosenthal, Kimmo I.

Modules over a quantale and models for the operator ! in linear logic
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994), p. 329-333 / Harvested from Numdam