@Article{HondaLaurent10,
  author  = {Kohei Honda and Olivier Laurent},
  title   = {An exact correspondence between a typed pi-calculus and polarised proof-nets},
  journal = {Theoretical Computer Science},
  volume  = {411},
  number  = {22--24},
  pages   = {2223--2238},
  month   = may,
  year    = {2010}
}