@InProceedings{DalLagoLaurent08a,
  author    = {Dal Lago, Ugo and Olivier Laurent},
  title     = {Quantitative Game Semantics for Linear Logic},
  booktitle = {Computer Science Logic '08},
  editor    = {Michael Kaminski and Simone Martini},
  series    = {Lecture Notes in Computer Science},
  volume    = {5213},
  pages     = {230--245},
  publisher = {Springer},
  month     = sep,
  year      = {2008}
}