A note on Girard quantales
Rosenthal, Kimmo I.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990), p. 3-11 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1990-01-01
@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},
     volume = {31},
     year = {1990},
     pages = {3-11},
     mrnumber = {1060604},
     zbl = {0713.06005},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 3-11. http://gdmltest.u-ga.fr/item/CTGDC_1990__31_1_3_0/

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

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

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

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

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

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

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

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