Categorical models of linear logic revisited, to appear (2009)

by P A Melliès
Venue:in Theoretical Computer Science, (2002). hal-00387605, version 1