Search

Your search keyword '"Tortora de Falco, Lorenzo"' showing total 7 results
Start Over Author "Tortora de Falco, Lorenzo" Publisher elsevier b.v.
7 results on '"Tortora de Falco, Lorenzo"'

6. Generalized standardization lemma for the additives (preliminary report)

Author

Tortora de Falco, Lorenzo

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.

Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results