 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : cel-00154509, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Ecole thématique (2006) 106 pages |
|
|
|
|
| Realizability: a machine for Analysis and Set Theory |
|
|
| Jean-Louis Krivine 1 |
|
|
| (2006) |
|
|
|
| The Curry-Howard (proof-program) correspondence in Analysis by means of a new technique of realizability |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique Mathématiques |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| cel-00154509, version 1 | |
| http://cel.archives-ouvertes.fr/cel-00154509 | |
| oai:cel.archives-ouvertes.fr:cel-00154509 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Mercredi 13 Juin 2007, 19:29:06 | |
| Dernière modification le : Dimanche 8 Juillet 2007, 23:47:02 | |
