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

(1)
1
Jean-Louis Krivine
  • Function : Author
  • PersonId : 840657

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

Dates and versions

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

Identifiers

  • HAL Id : hal-00154508 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More