@Inproceedings{EPTCS75.4,
  author    = {Capdevielle, Lucien},
  year      = {2012},
  title     = {A type system for PSPACE derived from light linear logic},
  editor    = {Marion, Jean-Yves},
  booktitle = {{\rm Proceedings Second Workshop on}
               Developments in Implicit Computational Complexity ,
               {\rm Saarbr\"ucken, Germany, April 2nd and 3rd, 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {75},
  publisher = {Open Publishing Association},
  pages     = {33-46},
  doi       = {10.4204/EPTCS.75.4},
}