Articles
Generalized standardization lemma for the additives: (preliminary report)

https://doi.org/10.1016/S1571-0661(05)80420-7Get rights and content
Under a Creative Commons license
open access

Abstract

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.

Cited by (0)

1

supported by a fellowship of the Consiglio Nazionale delle Ricerche (CNR).