|
|||||
|
|
An analysis of (linear) exponentials based on extended sequents |
|
| Authors: | Guerrini, S Martini, S Masini, A |
| Affiliation: | Institut de Mathematiques de Luminy, 163 Avenue du Luminy, Case 907, 13288 Marseille Cedex 9, France A1 Dipartimento di Matematica e Informatica, Universita di Udine, Via delle Scienze, 206, I-33100 Udine, Italy A2 Dipartimento di Informatica, Universita di Pisa, Corso Italia 40, I-56100 Pisa, Italy e-mail: stefanog@iml.univ-mrs.fr e-mail: martini@dimi.uniud.it e-mail: masini@di.unipi.it |
| Abstract: | |
| Keywords: | Sequent calculus 2-sequents Linear Logic Polynomialcut-elimination Elementary cut-elimination Light Linear Logic Elementary Linear Logic |
| 本文献已被 Oxford 等数据库收录！ | |