projet.bib

@comment{{}}

@techreport{Lenglet2008Normal-bisimulations,
  author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
  institution = {INRIA},
  number = {RR-6664},
  title = {Normal bisimulations in process calculi with passivation},
  type = {Research Report},
  mody = {preprint},
  year = {2008}
}

@article{DBLP:journals/corr/abs-0807-2636,
  author = {Andr{\'e} Hirschowitz and
               Michel Hirschowitz and
               Tom Hirschowitz},
  title = {Topological Observations on Multiplicative Additive Linear
               Logic},
  journal = {CoRR},
  volume = {abs/0807.2636},
  year = {2008},
  ee = {http://arxiv.org/abs/0807.2636},
  mody = {preprint},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/corr/abs-0810-4419,
  author = {Tom Hirschowitz and
               Aur{\'e}lien Pardon},
  title = {Binding bigraphs as symmetric monoidal closed theories},
  journal = {CoRR},
  volume = {abs/0810.4419},
  year = {2008},
  mody = {preprint},
  ee = {http://arxiv.org/abs/0810.4419},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/corr/abs-0810-4420,
  author = {Richard H. G. Garner and
               Tom Hirschowitz and
               Aur{\'e}lien Pardon},
  title = {Graphical Presentations of Symmetric Monoidal Closed Theories},
  journal = {CoRR},
  volume = {abs/0810.4420},
  year = {2008},
  mody = {preprint},
  ee = {http://arxiv.org/abs/0810.4420},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}