Lamarche, F., & Strassburger, L. (2006). From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationLamarche, Francois, and Lutz Strassburger. From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science e.V, 2006.
MLA (9th ed.) CitationLamarche, Francois, and Lutz Strassburger. From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science e.V, 2006.
Warning: These citations may not always be 100% accurate.