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