Lorenzo Tortora de Falco. Additives of linear logic and normalization- part I: a (restricted) church-rosser property. Theoretical Computer Science, 294/3:489-524, 2003.

We define a generalized cut-elimination procedure for proof-nets of full linear logic (without constants), for which we prove a (restricted) Church-Rosser property.

[ bib | .html ]

Back