A note on Girard quantales
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1990)
- Volume: 31, Issue: 1, page 3-11
- ISSN: 1245-530X
Access Full Article
topHow to cite
topRosenthal, Kimmo I.. "A note on Girard quantales." Cahiers de Topologie et Géométrie Différentielle Catégoriques 31.1 (1990): 3-11. <http://eudml.org/doc/91451>.
@article{Rosenthal1990,
author = {Rosenthal, Kimmo I.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {linear logic; phase semantics; partially ordered monoids; quantales},
language = {eng},
number = {1},
pages = {3-11},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {A note on Girard quantales},
url = {http://eudml.org/doc/91451},
volume = {31},
year = {1990},
}
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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 31
IS - 1
SP - 3
EP - 11
LA - eng
KW - linear logic; phase semantics; partially ordered monoids; quantales
UR - http://eudml.org/doc/91451
ER -
References
top- 1 M. Barr, *-Autonomous Categories. Lecture Notes in Math.752, Springer (1979). Zbl0415.18008MR550878
- 2 P.H. Chu, Constructing *-autonomous categories, Lecture Notes in Math.752, Springer (1979). 102-138. MR550878
- 3 L. Fuchs, Partially ordered algebraic systems. Addison-Wesley, 1963. Zbl0137.02001MR171864
- 4 J.Y. Girard, Linear logic, Theor. Comp. Sci.50 (1987), 1-102. Zbl0625.03037MR899269
- 5 P.T. Johnstone, Stone spaces, Cambridge Univ. Press, 1982. Zbl0499.54001MR698074
- 6 S.B. Niefield& K.I. Rosenthal.Constructing locales from quantales, Math. Proc. ofCambridge Phil. Soc.104 (1988), 215-234. Zbl0658.06007MR948908
- 7 C.J. Mulvey. &, Suppl. ai Rend. del Circ. Mat. di Palermo. Serie II. 12 (1986), 99-104. Zbl0633.46065MR853151
- 8 D. Yetter, Quantales and non-commutative linear logic (preprint). Zbl0701.03026
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.