Linear logicLast updated Feb 3, 2024Categorical Semantics of Linear Logic (Melliès) - https://www.irif.fr/~mellies/papers/panorama.pdf