 |
|
|
|
| HAL : hal-00154508, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| A call-by-name lambda-calculus machine |
|
|
| Jean-Louis Krivine 1 |
|
|
| (2004) |
|
|
|
| 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-Diderot - Paris VII |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00154508, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00154508/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00154508_v1 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Mercredi 13 Juin 2007, 19:09:37 | |
| Dernière modification le : Mercredi 13 Juin 2007, 20:43:32 | |
