# On the categorical semantics of elementary linear logic.

Theory and Applications of Categories [electronic only] (2009)

- Volume: 22, page 269-301
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topLaurent, Olivier. "On the categorical semantics of elementary linear logic.." Theory and Applications of Categories [electronic only] 22 (2009): 269-301. <http://eudml.org/doc/228755>.

@article{Laurent2009,

author = {Laurent, Olivier},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {monoidal categories; elementary linear logic; categorical logic; denotational semantics; Seely category},

language = {eng},

pages = {269-301},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {On the categorical semantics of elementary linear logic.},

url = {http://eudml.org/doc/228755},

volume = {22},

year = {2009},

}

TY - JOUR

AU - Laurent, Olivier

TI - On the categorical semantics of elementary linear logic.

JO - Theory and Applications of Categories [electronic only]

PY - 2009

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 22

SP - 269

EP - 301

LA - eng

KW - monoidal categories; elementary linear logic; categorical logic; denotational semantics; Seely category

UR - http://eudml.org/doc/228755

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.