 |
|
|
|
| HAL : hal-00349555, version 1 |
| DOI : 10.1109/LICS.2008.31 |
| Fiche détaillée |  Récupérer au format |
|
|
| Logic in Computer Science, Pittsburgh : France (2008) |
|
|
|
|
| Cut Elimination for Monomial MALL Proof Nets |
|
|
| Olivier Laurent 1Roberto Maieli 2 |
|
|
| (06/2008) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Dipartimento di Filosofia |
|
|
|
Università degli studi Roma III |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique Informatique/Logique en informatique |
|
|
| proof nets – cut elimination – linear logic |
|
| hal-00349555, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00349555 | |
| oai:hal.archives-ouvertes.fr:hal-00349555 | |
| Contributeur : Olivier Laurent | |
| Soumis le : Jeudi 1 Janvier 2009, 16:00:03 | |
| Dernière modification le : Jeudi 1 Janvier 2009, 16:00:03 | |
