Modules over a quantale and models for the operator $!$ in linear logic

Rosenthal, Kimmo I.

Geodesic

Parcourir par

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) no. 4, pp. 329-333

Voir la notice de l'article provenant de la source Numdam

MR Zbl

@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},
     pages = {329--333},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {35},
     number = {4},
     year = {1994},
     mrnumber = {1307265},
     zbl = {0819.18004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1994__35_4_329_0/}
}

TY  - JOUR
AU  - Rosenthal, Kimmo I.
TI  - Modules over a quantale and models for the operator $!$ in linear logic
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1994
SP  - 329
EP  - 333
VL  - 35
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1994__35_4_329_0/
LA  - en
ID  - CTGDC_1994__35_4_329_0
ER  -

%0 Journal Article
%A Rosenthal, Kimmo I.
%T Modules over a quantale and models for the operator $!$ in linear logic
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1994
%P 329-333
%V 35
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/item/CTGDC_1994__35_4_329_0/
%G en
%F 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) no. 4, pp. 329-333. http://geodesic.mathdoc.fr/item/CTGDC_1994__35_4_329_0/