A call-by-name lambda-calculus machine

Jean-Louis Krivine (1)

1 PPS - Preuves, Programmes et Systèmes

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.

Mots clés: lamba-calculus machine

Domaines: Logique en informatique [cs.LO]

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