@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 -
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 *-Autonomous Categories. Lecture Notes in Math. 752, Springer (1979). | MR | Zbl
,2 Constructing *-autonomous categories, Lecture Notes in Math. 752, Springer (1979). 102-138. | MR
,3 Partially ordered algebraic systems. Addison-Wesley, 1963. | MR
,4 Linear logic, Theor. Comp. Sci. 50 (1987), 1-102. | MR | Zbl
,5 Stone spaces, Cambridge Univ. Press, 1982. | MR | Zbl
,6 Constructing locales from quantales, Math. Proc. of Cambridge Phil. Soc. 104 (1988), 215-234. | MR | Zbl
&7 Suppl. ai Rend. del Circ. Mat. di Palermo. Serie II. 12 (1986), 99-104. | MR | Zbl
&,8 Quantales and non-commutative linear logic (preprint).
,