Braüner, Torben, and Valeria de Paiva. 1996. “Cut-Elimination for Full Intuitionistic Linear Logic”. BRICS Report Series 3 (10). https://doi.org/10.7146/brics.v3i10.19973.