From proof nets to the free *- autonomous category (2006)

by François Lamarche, Lutz Straßburger
Venue:Logical Methods in Computer Science