On double categories and multiplicative linear logic (1999)

by Paul-André Melliès
Venue:Mathematical Structures in Computer Science