Battyányi, PéterKarim, Nour2023-04-112023-04-112022Mathematical Structures In Computer Science. -32 : 8 (2022), p. 1066-1098. -Math. Struct. Comput. Sci. - 0960-12950960-1295https://hdl.handle.net/2437/349143Normalization in the simply typed lambda mu mu' rho theta epsilon-calculusfolyóiratcikkopen access articlehttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM110536TermészettudományokMatematika- és számítástudományokhttps://www.cambridge.org/core/product/identifier/S096012952200041X/type/journal_articleszerzőkhttp://dx.doi.org/10.1017/S096012952200041X2023-04-1100093373360000185165632709