Skip to Main content Skip to Navigation
Conference papers

Un Lambda-Calcul Atomique

Résumé : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00779903
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 4:57:26 PM
Last modification on : Friday, March 27, 2020 - 3:52:50 AM
Long-term archiving on: : Saturday, April 1, 2017 - 8:22:00 AM

File

jfla2013-13.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00779903, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

352

Files downloads

160