 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00519846, version 1 |
| Detailed view |  Export this paper |
 |
| Logic in Computer Science, Pologne (1997) |
|
|
|
|
| Believe it or not, AJM's games model is a model of classical linear logic |
|
|
| Thomas Ehrhard 1Vincent Danos 1 |
|
|
| (1997) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2: | Laboratoire de l'Informatique du Parallélisme (LIP) |
|
|
|
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
| hal-00519846, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00519846 | |
| oai:hal.archives-ouvertes.fr:hal-00519846 | |
| From: Thomas Ehrhard | |
| Submitted on: Tuesday, 21 September 2010 15:55:54 | |
| Updated on: Tuesday, 21 September 2010 15:55:54 | |
