2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229960The symmetric $λmu$-calculus is the $λμ$-calculus introduced by Parigot in which the reduction rule $μ'$, which is the symmetric of $μ$, is added. We give examples explaining why the technique using the usual candidates of reducibility does not work. We also prove a standardization theorem for this calculus.Second Workshop on Computational Logic and Applications (CLA 2004), France (2004)Logictext