Explicit substitutions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1990

Explicit substitutions

Martin Abadi
  • Fonction : Auteur
Luca Cardelli
  • Fonction : Auteur
P.L. Curien
  • Fonction : Auteur
Jean-Jacques Levy

Résumé

The l-calculus is a refinement of the l-calculus where substitutions are manipulated explicity. The l-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical l-calculus and concrete implementation.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1176.pdf (2.01 Mo) Télécharger le fichier

Dates et versions

inria-00075382 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075382 , version 1

Citer

Martin Abadi, Luca Cardelli, P.L. Curien, Jean-Jacques Levy. Explicit substitutions. RR-1176, INRIA. 1990. ⟨inria-00075382⟩
108 Consultations
304 Téléchargements

Partager

Gmail Facebook X LinkedIn More