Skip to Main content Skip to Navigation
Journal articles

A call-by-name lambda-calculus machine

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Jean-Louis Krivine Connect in order to contact the contributor
Submitted on : Wednesday, June 13, 2007 - 7:09:37 PM
Last modification on : Saturday, March 28, 2020 - 2:13:25 AM
Long-term archiving on: : Thursday, April 8, 2010 - 8:09:24 PM


Files produced by the author(s)


  • HAL Id : hal-00154508, version 1



Jean-Louis Krivine. A call-by-name lambda-calculus machine. Higher Order Symbolic Computation, 2007, 20, pp.199-207. ⟨hal-00154508⟩



Les métriques sont temporairement indisponibles