A Parigot-style linear λ -calculus for full intuitionistic linear logic. de Paiva, Valeria, Ritter, Eike (2006) Theory and Applications of Categories [electronic only]