On the categorical semantics of elementary linear logic. Laurent, Olivier — 2009 Theory and Applications of Categories [electronic only]