 |
|
|
|
| HAL: hal-00154508, version 1 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
|
|
| lamba-calculus machine |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00154508, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00154508 | |
| oai:hal.archives-ouvertes.fr:hal-00154508 | |
| From: Jean-Louis Krivine | |
| Submitted on: Wednesday, 13 June 2007 19:09:37 | |
| Updated on: Saturday, 25 September 2010 11:29:26 | |
