The call-by-value λµ∧∨-calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Discrete Mathematics and Theoretical Computer Science Année : 2005

The call-by-value λµ∧∨-calculus

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

In this paper, we introduce the $λ μ ^{∧∨}$ - call-by-value calculus and we give a proof of the Church-Rosser property of this system. This proof is an adaptation of that of Andou (2003) which uses an extended parallel reduction method and complete development.
Fichier principal
Vignette du fichier
dmAF0108.pdf (188.77 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01183334 , version 1 (12-08-2015)

Identifiants

Citer

Karim Nour, Khelifa Saber. The call-by-value λµ∧∨-calculus. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.97-108, ⟨10.46298/dmtcs.3470⟩. ⟨hal-01183334⟩
75 Consultations
510 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More