2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229963We give an elementary and purely arithmetical proof of the strong normalization of Parigot's simply typed $λμ$-calculus.LogicA short proof of the strong normalization of the simply typed $λμ$-calculustext