Paper on linear bicategories (and non-commutative linear logic)