( en | de | ru )

 

Disambiguation of "Nour, Karim"

Author of the publication

copydeleteadd this publication to your clipboard
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.

, , , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 171-185. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Salua Nour

Nour Alaaraj

Nour Moustafa

Nour Juratli

Soheir Nour

 

Other publications of authors with the same name

La valeur d'un entier classique en lmłambda\mu-calcul.. Arch. Math. Log., 36 (6): 461-473 (1997)A General Type for Storage Operators.. Math. Log. Q., (1995)S-Storage Operators.. Math. Log. Q., (1998)A completeness result for the simply typed lambdaµ-calculus., and . Ann. Pure Appl. Log., 161 (1): 109-118 (2009)Les types de données syntaxiques du système F., and . RAIRO Theor. Informatics Appl., 35 (3): 207-221 (2001)Entiers intuitionnistes et entiers classiques en lambda C-calcul.. RAIRO Theor. Informatics Appl., 29 (4): 293-313 (1995)A Conjecture on Numeral Systems.. Notre Dame J. Formal Log., 38 (2): 270-275 (1997)A revised completeness result for the simply typed $λμ$-calculus using realizability semantics., and . CoRR, (2016)Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus., and . TLCA, volume 3461 of Lecture Notes in Computer Science, page 162-178. Springer, (2005)About the range property for H., and . Logical Methods in Computer Science, (2014)