Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

In this paper, we introduce the $\lambda\mu^{\wedge \vee}$- 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 which uses an extended parallel reduction method and complete development.
Fichier principal
Vignette du fichier
cbv.pdf (98.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00382364 , version 1 (07-05-2009)

Identifiants

Citer

Karim Nour, Khelifa Saber. Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus. Computational Logic and Applications, CLA '05, Jun 2005, France. pp.97-108. ⟨hal-00382364⟩
141 Consultations
50 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More