Un Lambda-Calcul Atomique - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Un Lambda-Calcul Atomique

Tom Gundersen
  • Function : Author
  • PersonId : 935744
Michel Parigot
  • Function : Author
  • PersonId : 935746

Abstract

Nous introduisons un lambda-calcul avec partage explicite, le lambda-calcul atomique, dans lequel la duplication des sous-termes est faite pas à pas en fonction des constructeurs. Nous donnons une fonction de dénotation du lambda-calcul atomique dans le lambda-calcul et montrons que le lambda-calcul atomique simule la -réduction et préserve la normalisation forte. Nous donnons aussi un système de type pour le lambda-calcul atomique et montrons que la réduction préserve le type.
Fichier principal
Vignette du fichier
jfla2013-13.pdf (520.3 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

hal-00779903 , version 1 (22-01-2013)

Identifiers

  • HAL Id : hal-00779903 , version 1

Cite

Tom Gundersen, Willem Heijltjes, Michel Parigot. Un Lambda-Calcul Atomique. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779903⟩
209 View
118 Download

Share

Gmail Facebook X LinkedIn More