Lorenzo Tortora de Falco.
Additives of linear logic and normalization- part I: a (restricted)
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 |
This file has been generated by
>>> BackToHomePage(Protocollo) <<<