@Article{ABT07,
  author =       {Atassi, V. and Baillot, P. and Terui, K.},
  title =        {Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic},
journal =      {Logical Methods in Computer Science},
  year =         {2007},
   OPTmonth =     {},
  note =      {\`a para\^itre. 32 pages.},
  OPTannote =    {},
    lipn-category = "jour",
}


@InProceedings{BaillotCoppolaDalLago07,
  author = 	 {Baillot, P. and Coppola, P. and Dal Lago, U.},
  title = 	 {Light {L}ogics and {O}ptimal {R}eduction: {C}ompleteness and {C}omplexity},
    booktitle = {Proceedings of Symposium on Logic in Computer Science (LICS'07)},
  pages = 	 {421-430},
  year = 	 {2007},
  OPTorganization = {},
  publisher = {IEEE Computer Society},
 lipn-category = "intc",

}


@InProceedings{Baillot07,
  author = 	 {Baillot, P.},
  title = 	 {From {P}roof-{N}ets to {L}inear {L}ogic {T}ype {S}ystems for {P}olynomial
 {T}ime {C}omputing},
  booktitle = {Proceedings of Typed Lambda Calculi and Applications (TLCA'07)},
  pages = 	 {2-7},
  year = 	 {2007},
  OPTeditor = 	 {},
  volume = 	 {4583},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTorganization = {},
  publisher = {Springer},
  note = 	 {Expos\'e Invit\'e.},
    lipn-category = "tuto",
}

@InProceedings{ABT05,
  author =       {Atassi, V. and Baillot, P. and Terui, K.},
  title =        {Verification of {P}time reducibility for system {F} terms via 
{D}ual {L}ight {A}ffine {L}ogic},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle = {Proceedings of Computer Science Logic (CSL'06)},
  pages =        {150-166},
  year =         {2006},
  OPTeditor =    {},
  volume =       {4207},
  OPTnumber =    {},
  series =       lncs,
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  publisher = SV,
  OPTnote =      {},
  OPTannote =    {},
    lipn-category = "intc",

}



@Article{B04a,
  author =       {Baillot, P.},
  title =        {Stratified coherence spaces: a denotational semantics for
{L}ight {L}inear {L}ogic},
  journal =      {Theoretical Computer Science},
  year =         {2004},
   volume =      {318},
  number =       {1-2},
  pages =        {29-55},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {},
    lipn-category = "jour",
}

@Article{B04b,
  author =       {Baillot, P.},
  title =        {Type inference for {L}ight {A}ffine {L}ogic via constraints
on words},
  journal =      {Theoretical Computer Science},
  year =         {2004},
   volume =      {328},
  number =       {3},
  pages =        {289-323},
  OPTmonth =     {},
    lipn-category = "jour",
}


@Unpublished{BDLM06,
  author =       {Baillot, P. and Dal Lago, U. and  Moyen, J.-Y.},
  title =        {On {Q}uasi-Interpretations, {B}lind {A}bstractions and {I}mplicit
 {C}omplexity},
  note =         {8th International Workshop on Logic and Computational Complexity (LCC'06) (Satellite de LICS'06),
Seattle,  Prepublication HAL ccsd-00023668}, 
  OPTkey =       {},
  month =        aug,
  year =         {2006},
  annote =       {},
    lipn-category = "autc",
}


@InProceedings{BM04,
 author = {Baillot, Patrick and Mogbil, Virgile},
 title = {Soft lambda-calculus: a language for polynomial time computation},
 booktitle = {Proceedings of the 7th International Conference on Foundations of Software
 Science and Computation Structures (FOSSACS'04)},
 pages = {27-41},
 year = {2004},
 OPTeditor = {Igor Walukiewicz},
 volume = {2987},
 series = lncs,
 OPTisbn = {3-540-21298-1},
 publisher = SV,
 OPTnote = {7th International Conference Foundations of Software Science and Computation Structures, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain},
   lipn-category = "intc",
} 

@Unpublished{BP04,
  author =       {Baillot, P. and Pedicini, M.},
  title =        {An {E}mbedding of the {BSS} {M}odel
  of {C}omputation in {L}ight {A}ffine {L}ambda-{C}alculus},
  note =         {8th International Workshop on Logic and Computational Complexity (LCC'06)
 (Satellite de LICS'06), Seattle,  Prepublication HAL  ccsd-00085547}, 
  OPTkey =       {},
  month =        aug,
  year =         {2006},
  annote =       {},
   lipn-category = "autc",
}

@InProceedings{BT04,
  author =       {Baillot, P. and Terui, K.},
  title =        {Light types for polynomial time computation in lambda-calculus},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle = {Proceedings of 19th IEEE Symposium on Logic in Computer Science (LICS 2004)},
  pages =        {266-275},
  year =         {2004},
   publisher = {IEEE Computer Society},
  OPTannote =    {},
    lipn-category = "intc",
}


@InProceedings{BT05,
  author =       {Baillot, P. and Terui, K.},
  title =        {A {F}easible {A}lgorithm for {T}yping in {E}lementary {A}ffine {L}ogic},
   booktitle = {Proceedings of 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005)},
  pages =        {55-70},
  year =         {2005},
  OPTeditor =    {},
  volume =       {3461},
  OPTnumber =    {},
  series =       lncs,
   publisher = SV,
    lipn-category = "intc",
}

@Article{DLB06,
  author =       {Dal Lago, U. and Baillot, P.},
  title =        {On {L}ight {L}ogics, {U}niform
{E}ncodings and {P}olynomial {T}ime},
  journal =      {Mathematical Structures in Computer Science},
  year =         {2006},
  OPTkey =       {},
  volume =       {16},
  number =       {4},
  pages =        {713-733},
  OPTmonth =     {},
  note =         {(une version
pr\'eliminaire avait \'et\'e pr\'esent\'ee au  \textit{Workshop
 on Logics for Resources, Processes, and Programs}  LRPP'04)},
  OPTannote =    {},
    lipn-category = "jour",
}


@InProceedings{SEFB04,
  author =       {Suna, A. and El Fallah-Seghrouchni,A and  Fouquer\'e, C. and 
  Baillot, P.},
  title =        {Mobile {M}ulti-{A}gent {S}ystems: {A} {P}rogramming {L}anguage and
  its {S}emantics},
    booktitle = {3rd International Joint Conference on Autonomous
  Agents and Multiagent Systems (AAMAS 2004)},
  pages =        {1386-1387},
  year =         {2004},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  publisher = {IEEE Computer Society},
  note =         {Poster},
  OPTannote =    {},
    lipn-category = "autc",
}