On the categorical semantics of elementary linear logic.
Laurent, Olivier
Theory and Applications of Categories [electronic only], Tome 22 (2009), p. 269-301 / Harvested from The Electronic Library of Mathematics
Publié le : 2009-01-01
EUDML-ID : urn:eudml:doc:228755
@article{05636670,
     title = {On the categorical semantics of elementary linear logic.},
     journal = {Theory and Applications of Categories [electronic only]},
     volume = {22},
     year = {2009},
     pages = {269-301},
     zbl = {1201.18003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05636670}
}
Laurent, Olivier. On the categorical semantics of elementary linear logic.. Theory and Applications of Categories [electronic only], Tome 22 (2009) pp. 269-301. http://gdmltest.u-ga.fr/item/05636670/