@Article{Laurent03,
  author  = {Olivier Laurent},
  title   = {Polarized proof-nets and $\lambda\mu$-calculus},
  journal = {Theoretical Computer Science},
  volume  = {290},
  number  = {1},
  pages   = {161--188},
  month   = jan,
  year    = {2003}
}