 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00686795, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Mérida : Venezuela, Bolivarian Republic Of (2012) |
|
|
|
|
| The permutative lambda-calculus |
|
|
| Beniamino Accattoli 1Delia Kesner 2 |
|
|
| (10/03/2012) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique de l'école polytechnique (LIX) |
|
|
|
CNRS : UMR7161 – Polytechnique - X |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
| hal-00686795, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00686795 | |
| oai:hal.archives-ouvertes.fr:hal-00686795 | |
| Contributeur : Delia Kesner | |
| Soumis le : Mercredi 11 Avril 2012, 11:33:21 | |
| Dernière modification le : Mardi 26 Juin 2012, 16:54:33 | |
