 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00156389, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| (2007) |
|
|
|
|
| General Reversibility |
|
|
| Vincent Danos 1Jean Krivine 2 |
|
|
| (28/06/2007) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2 : | MOSCOVA (INRIA Rocquencourt) |
|
|
|
INRIA |
|
|
| 3 : | Southampton University (SOUTHAMPTON UNIVERSITY) |
|
|
|
University of Southampton |
|
|
|
|
|
|
|
|
|
| hal-00156389, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00156389 | |
| oai:hal.archives-ouvertes.fr:hal-00156389 | |
| Contributeur : Vincent Danos | |
| Soumis le : Jeudi 21 Juin 2007, 00:37:58 | |
| Dernière modification le : Vendredi 20 Juillet 2007, 04:32:45 | |
