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

by F Lamarche, L Straßburger
Venue:Logical Methods in Computer Science