( en | de | ru )

 

Disambiguierung von "Nour, Karim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.

, , , und . ICTAC, Volume 5160 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Salua Nour

Nour Alaaraj

Nour Moustafa

Soheir Nour

Nour Juratli

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Les I-types du système F.. RAIRO Theor. Informatics Appl., 35 (3): 223-237 (2001)Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés.. RAIRO Theor. Informatics Appl., 31 (6): 539-558 (1997)Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus., und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 162-178. Springer, (2005)Strong normalization results by translation, und . CoRR, (2009)A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables., , , und . ICTAC, Volume 5160 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2008)Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés, , und . Dunod, (2004)An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types., und . TLCA, Volume 4583 von Lecture Notes in Computer Science, Seite 84-101. Springer, (2007)Opérateurs de mise en mémoire et types forall-positifs.. RAIRO Theor. Informatics Appl., 30 (3): 261-293 (1996)