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

Abstract

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
Loading...

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More