@Unpublished{     Mellies,
  Author        = "Melli{\`e}s, Paul-Andr{\'e}",
  date-added    = "2013-06-24 08:55:07 +0000",
  date-modified = "2013-06-24 08:55:33 +0000",
  Keywords      = "category theory and linear logic",
  Title         = "Categorical Semantics of Linear Logic",
  File          = "Categorical Semantics of Linear Logic - Melliès (1) (0) - a - a - d.pdf"
}

@Unpublished{ Mellies, Author = "Melli{`e}s, Paul-Andr{\'e}", date-added = "2013-06-24 08:55:07 +0000", date-modified = "2013-06-24 08:55:33 +0000", Keywords = "category theory and linear logic", Title = "Categorical Semantics of Linear Logic", File = "Categorical Semantics of Linear Logic - Melliès (1) (0) - a - a - d.pdf" }