Citation: Jean-Yves Girard. Linear logic. Theor. Comput. Sci., 50:1–102, 1987 Seminal paper on linear logic.