Explicit substitutions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1990

Explicit substitutions

Martin Abadi
  • Function : Author
Luca Cardelli
  • Function : Author
P.L. Curien
  • Function : Author
Jean-Jacques Levy


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.


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

Dates and versions

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


  • HAL Id : inria-00075382 , version 1


Martin Abadi, Luca Cardelli, P.L. Curien, Jean-Jacques Levy. Explicit substitutions. RR-1176, INRIA. 1990. ⟨inria-00075382⟩
105 View
301 Download


Gmail Facebook Twitter LinkedIn More