Karim Nour ; Khelifa Saber
-
The call-by-value λµ∧∨-calculus
dmtcs:3470 -
Discrete Mathematics & Theoretical Computer Science,
January 1, 2005,
DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
-
https://doi.org/10.46298/dmtcs.3470
The call-by-value λµ∧∨-calculusArticle
Authors: Karim Nour 1; Khelifa Saber 1
NULL##NULL
Karim Nour;Khelifa Saber
1 Laboratoire de Mathématiques
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.