Linear logic

Last updated Apr 12, 2023

• Categorical Semantics of Linear Logic (Melliès) - https://www.irif.fr/~mellies/papers/panorama.pdf