A note on Girard quantales
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990) no. 1, pp. 3-11.
@article{CTGDC_1990__31_1_3_0,
     author = {Rosenthal, Kimmo I.},
     title = {A note on {Girard} quantales},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {3--11},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {31},
     number = {1},
     year = {1990},
     mrnumber = {1060604},
     zbl = {0713.06005},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1990__31_1_3_0/}
}
TY  - JOUR
AU  - Rosenthal, Kimmo I.
TI  - A note on Girard quantales
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1990
SP  - 3
EP  - 11
VL  - 31
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1990__31_1_3_0/
LA  - en
ID  - CTGDC_1990__31_1_3_0
ER  - 
%0 Journal Article
%A Rosenthal, Kimmo I.
%T A note on Girard quantales
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1990
%P 3-11
%V 31
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1990__31_1_3_0/
%G en
%F CTGDC_1990__31_1_3_0
Rosenthal, Kimmo I. A note on Girard quantales. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990) no. 1, pp. 3-11. http://archive.numdam.org/item/CTGDC_1990__31_1_3_0/

1 M. Barr, *-Autonomous Categories. Lecture Notes in Math. 752, Springer (1979). | MR | Zbl

2 P.H. Chu, Constructing *-autonomous categories, Lecture Notes in Math. 752, Springer (1979). 102-138. | MR

3 L. Fuchs, Partially ordered algebraic systems. Addison-Wesley, 1963. | MR

4 J.Y. Girard, Linear logic, Theor. Comp. Sci. 50 (1987), 1-102. | MR | Zbl

5 P.T. Johnstone, Stone spaces, Cambridge Univ. Press, 1982. | MR | Zbl

6 S.B. Niefield& K.I. Rosenthal. Constructing locales from quantales, Math. Proc. of Cambridge Phil. Soc. 104 (1988), 215-234. | MR | Zbl

7 C.J. Mulvey. &, Suppl. ai Rend. del Circ. Mat. di Palermo. Serie II. 12 (1986), 99-104. | MR | Zbl

8 D. Yetter, Quantales and non-commutative linear logic (preprint).