2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229663In this paper, we introduce the $λμ^{\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.Logictext