 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00349555, version 1 |
| DOI: 10.1109/LICS.2008.31 |
| Detailed view |  Export this paper |
 |
| Logic in Computer Science, Pittsburgh : France (2008) |
|
|
|
|
| Cut Elimination for Monomial MALL Proof Nets |
|
|
| Olivier Laurent 1Roberto Maieli 2 |
|
|
| (2008-06) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2: | Dipartimento di Filosofia |
|
|
|
Università degli studi Roma III |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Logic Computer Science/Logic in Computer Science |
|
|
| proof nets – cut elimination – linear logic |
|
| hal-00349555, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00349555 | |
| oai:hal.archives-ouvertes.fr:hal-00349555 | |
| From: Olivier Laurent | |
| Submitted on: Thursday, 1 January 2009 16:00:03 | |
| Updated on: Thursday, 1 January 2009 16:00:03 | |
