Linear logic

Last updated Oct 7, 2024

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