Battyányi, PéterKarim, Nour2019-07-032019-07-032017Logical Methods in Computer Science. -13 : 3 (2017), p. 1-22. -Log. Methods Comput. Sci. - 1860-59741860-5974http://hdl.handle.net/2437/270201Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculifolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM079630Műszaki tudományokInformatikai tudományokhttps://lmcs.episciences.org/3963http://dx.doi.org/10.23638/LMCS-13(3:34)20172019-12-1700041916300003585041809580