Battyányi, PéterKarim, Nour2021-05-052021-05-052020AIMS Mathematics. -5 : 4 (2020), p. 3702-3713. -AIMS Math. - 2473-69882473-6988http://hdl.handle.net/2437/308535Normalization proofs for the un-typed mu mu'-calculusfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM094046TermészettudományokMatematika- és számítástudományokhttp://www.aimspress.com/article/10.3934/math.2020239http://dx.doi.org/10.3934/math.20202392022-07-2000053248400005985088010956