Author Search Results :: UTM Library Massive Scholar Tracking

1

Classical Combinatory Logic by Karim Nour

Published 2005-01-01

Get full text

Article
2

Normalization proofs for the un-typed μμ-calculus by Péter Battyányi, Karim Nour

Published 2020-05-01

Get full text

Article
3

$A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics$

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics by Karim Nour, Mohamad Ziadeh

Published 2017-08-01

Get full text

Article
4

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi by Peter Battyanyi, Karim Nour

Published 2017-09-01

Get full text

Article
5

About the range property for H by René David, Karim Nour

Published 2014-01-01

Get full text

Article
6

The call-by-value λµ∧∨-calculus by Karim Nour, Khelifa Saber

Published 2005-01-01

Get full text

Article
7

$An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus$

An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus by Péter Battyányi, Karim Nour

Published 2018-06-01

Get full text

Article