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.
Type de document :
Article dans une revue
Higher Order Symbolic Computation, 2007, 20, pp.199-207
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00154508
Contributeur : Jean-Louis Krivine <>
Soumis le : mercredi 13 juin 2007 - 19:09:37
Dernière modification le : mardi 11 octobre 2016 - 13:55:46
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:09:24

Fichier

LAZYMACH_kluwer.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00154508, version 1

Collections

PPS | USPC

Citation

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

Partager

Métriques

Consultations de
la notice

143

Téléchargements du document

190