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

Karim Nour, Khelifa Saber

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…