@TechReport{DalLagoLaurent08b,
  author      = {Dal Lago, Ugo and Olivier Laurent},
  title       = {Quantitative Game Semantics for Linear Logic},
  type        = {Pr\'epublication \'electronique},
  institution = {{P}reuves {P}rogrammes {S}yst\`emes},
  number      = {hal-00270933},
  month       = apr,
  year        = {2008},
  url         = {http://hal.archives-ouvertes.fr/hal-00270933/}
}