 |
|
|
|
| HAL : hal-00154508, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Higher Order Symbolic Computation 20 (2007) 199-207 |
|
|
|
|
| A call-by-name lambda-calculus machine |
|
|
| Jean-Louis Krivine 1 |
|
|
| (2007) |
|
|
|
| A simple lazy machine which runs programs written in lambda-calculus. It was introduced by the author in 1985. It has been, since, used and implemented by several authors but remained unpublished. It will appear soon in a special issue of Higher Order and Symbolic Computation. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| PPS |
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| lamba-calculus machine |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00154508, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00154508 | |
| oai:hal.archives-ouvertes.fr:hal-00154508 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Mercredi 13 Juin 2007, 19:09:37 | |
| Dernière modification le : Samedi 25 Septembre 2010, 11:29:26 | |
