A call-by-name lambda-calculus machine - Archive ouverte HAL Access content directly
Journal Articles Higher Order Symbolic Computation Year : 2007

A call-by-name lambda-calculus machine

Jean-Louis Krivine
  • Function : Author
  • PersonId : 840657


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.
Fichier principal
Vignette du fichier
LAZYMACH_kluwer.pdf (164.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00154508 , version 1 (13-06-2007)


  • 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⟩
152 View
471 Download


Gmail Facebook X LinkedIn More