Battyányi, Péter; Nour, Karim Normalization in the simply typed \(\lambda \mu \mu'\rho \theta \varepsilon\)-calculus. (English) Zbl 07680179 Math. Struct. Comput. Sci. 32, No. 8, 1066-1098 (2022). MSC: 03B40 03B38 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, Math. Struct. Comput. Sci. 32, No. 8, 1066--1098 (2022; Zbl 07680179) Full Text: DOI
Battyányi, Péter; Nour, Karim Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. (English) Zbl 1484.03021 AIMS Math. 5, No. 4, 3702-3713 (2020). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, AIMS Math. 5, No. 4, 3702--3713 (2020; Zbl 1484.03021) Full Text: DOI
Battyányi, Péter; Nour, Karim An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus. (English) Zbl 1453.03007 Log. Methods Comput. Sci. 14, No. 2, Paper No. 17, 35 p. (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Battyányi} and \textit{K. Nour}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 17, 35 p. (2018; Zbl 1453.03007) Full Text: DOI arXiv
Battyanyi, Peter; Nour, Karim Strong normalization of \(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)- and \(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculi. (English) Zbl 1459.03014 Log. Methods Comput. Sci. 13, No. 3, Paper No. 34, 22 p. (2017). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Battyanyi} and \textit{K. Nour}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 34, 22 p. (2017; Zbl 1459.03014) Full Text: DOI arXiv
Nour, Karim; Saber, Khelifa Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus. (English) Zbl 1398.03065 J. Appl. Non-Class. Log. 22, No. 3, 231-247 (2012). MSC: 03B40 PDFBibTeX XMLCite \textit{K. Nour} and \textit{K. Saber}, J. Appl. Non-Class. Log. 22, No. 3, 231--247 (2012; Zbl 1398.03065) Full Text: DOI
David, René; Nour, Karim Strong normalization results by translation. (English) Zbl 1223.03037 Ann. Pure Appl. Logic 161, No. 9, 1171-1179 (2010). MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{R. David} and \textit{K. Nour}, Ann. Pure Appl. Logic 161, No. 9, 1171--1179 (2010; Zbl 1223.03037) Full Text: DOI
Nour, Karim; Saber, Khelifa A completeness result for the simply typed \(\lambda \mu \)-calculus. (English) Zbl 1184.03007 Ann. Pure Appl. Logic 161, No. 1, 109-118 (2009). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{K. Nour} and \textit{K. Saber}, Ann. Pure Appl. Logic 161, No. 1, 109--118 (2009; Zbl 1184.03007) Full Text: DOI arXiv
David, René; Nour, Karim A short proof of the strong normalization of classical natural deduction with disjunction. (English) Zbl 1066.03056 J. Symb. Log. 68, No. 4, 1277-1288 (2003). Reviewer: M. Yasuhara (Princeton) MSC: 03F05 03B05 03B40 68N18 PDFBibTeX XMLCite \textit{R. David} and \textit{K. Nour}, J. Symb. Log. 68, No. 4, 1277--1288 (2003; Zbl 1066.03056) Full Text: DOI arXiv Euclid
Nour, Karim Non deterministic classical logic: The \(\lambda\mu^{++}\)-calculus. (English) Zbl 0997.03015 Math. Log. Q. 48, No. 3, 357-366 (2002). MSC: 03B40 68N18 03B70 PDFBibTeX XMLCite \textit{K. Nour}, Math. Log. Q. 48, No. 3, 357--366 (2002; Zbl 0997.03015) Full Text: DOI arXiv
Nour, Karim The value of a classical integer in \(\lambda \mu\)-calculus. (La valeur d’un entier classique en \(\lambda \mu\)-calcul.) (French. English summary) Zbl 0878.03011 Arch. Math. Logic 36, No. 6, 461-473 (1997). Reviewer: K.Nour (Le Bourget-du-Lac) MSC: 03B40 68Q60 PDFBibTeX XMLCite \textit{K. Nour}, Arch. Math. Logic 36, No. 6, 461--473 (1997; Zbl 0878.03011) Full Text: DOI