The call-by-value λµ∧∨-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Discrete Mathematics and Theoretical Computer Science Year : 2005

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

Karim Nour
  • Function : Author
  • PersonId : 859979


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
Origin : Publisher files allowed on an open archive

Dates and versions

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



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⟩
73 View
444 Download



Gmail Facebook Twitter LinkedIn More