Modules over a quantale and models for the operator ! in linear logic
Rosenthal, Kimmo I.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994), p. 329-333 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1994-01-01
@article{CTGDC_1994__35_4_329_0,
     author = {Rosenthal, Kimmo I.},
     title = {Modules over a quantale and models for the operator $!$ in linear logic},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {35},
     year = {1994},
     pages = {329-333},
     mrnumber = {1307265},
     zbl = {0819.18004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1994__35_4_329_0}
}

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) pp. 329-333. http://gdmltest.u-ga.fr/item/CTGDC_1994__35_4_329_0/

[1] S. Abramsky and S. Vickers, Quantales, observational logic, and process semantics, Math. Structures in Comp. Sci., Vol.3, No. 2, 1993,161-228. | Zbl 0823.06011

[2] M. Barr, *-Autonomous Categories, Springer Lecture Notes in Math. No. 752, 1979. | Zbl 0415.18008

[3] M. Barr, *-autonomous categories and linear logic, Math. Structures in Comp. Sci., Vol.1, No. 2, 1991, 159-178. | Zbl 0777.18006

[4] R. Blute, Linear logic, coherence and dinaturality, Theor. Comp. Sci. 115, 1993, 3-41. | Zbl 0782.18001

[5] R. Blute, P. Panangaden, and R. Seely, Holomorphic models of exponential types in linear logic, to appear in Proc. Math. Foun. of Prog. Semantics, Springer Lect. Notes in Comp. Sci.

[6] J.Y. Girard, Linear logic, Theor. Comp. Sci. 50, 1987, 1-102. | Zbl 0625.03037

[7] R. Guitart, Calcul des relations inverses, Cah. de Top. et Géom. Diff. Vol. XVII, No. 1, 1977, 67-100. | Numdam | Zbl 0381.18007

[8] A. Joyal and M. Tierney, An Extension of the Galois Theory of Grothendieck, AMS Memoirs No. 309, Amer. Math. Soc., 1984. | Zbl 0541.18002

[9] K. I. Rosenthal, Quantales and Their Applications, Pitman Research Notes in Math. No. 234, Longman, Scientific and Technical, 1990. | Zbl 0703.06007

[10] K.I. Rosenthal, *-autonomous categories of bimodules, to appear in Jour. Pure Appl. Alg. | Zbl 0819.18005

[11] K.I. Rosenthal The Theory of Quantaloids, in preparation | Zbl 0845.18003

[12] R. Seely, Linear logic, *-autonomous categories, and cofree algebras, in Categories in Computer Science and Logic, Cont. Math. Vol. 92, Amer. Math. Soc., 1989, 371-382. | Zbl 0674.03007