NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS. - BATTYÁNYI, PÉTER; NOUR, KARIM (Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2026)