Generalized standardization lemma for the additives
Lorenzo Tortora de Falco · Electronic Notes in Theoretical Computer Science · 1996
This is a preliminary report, in which we prove the so-called standardization lemma for the additives, in presence of a generalization (the natural one) of the commutative elementary reduction step. The technical tools developped to achieve this result suggest some remarks on the non confluence of full linear logic.