@article{Lamarche:Strassburger:FreeStar, author = {Fran\c{c}ois Lamarche and Lutz Stra{\ss}burger}, title = {From Proof Nets to the Free *-Autonomous Category}, journal="Logical Methods in Computer Science", volume=2, number="4:3", year = 2006, pages="1--44", pdf = "http://arxiv.org/pdf/cs.LO/0605054", }