pith. sign in

Karim Nour (LAMA)

Identifiers

  • name variant Karim Nour (LAMA) 0.60 · backfill

Papers (34)

  1. Strong normalization results by translation math.LO · 2009 · author #2
  2. Realisability Semantics for Intersection Types and Expansion Variables math.LO · 2009 · author #2
  3. A complete realisability semantics for intersection types and arbitrary expansion variables math.LO · 2009 · author #2
  4. Parametric mixed sequent calculus math.LO · 2009 · author #1
  5. A short proof of the strong normalization of the simply typed $\lambda\mu$-calculus math.LO · 2009 · author #2
  6. A semantics of realisability for the classical propositional natural deduction math.LO · 2009 · author #1
  7. Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus math.LO · 2009 · author #2
  8. Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus math.LO · 2009 · author #1
  9. Classical Combinatory Logic math.LO · 2009 · author #1
  10. On Storage Operators math.LO · 2009 · author #1
  11. Arithmetical proofs of strong normalization results for the symmetric $\lambda \mu$-calculus math.LO · 2009 · author #2
  12. An arithmetical proof of the strong normalization for the $\lambda$-calculus with recursive equations on types math.LO · 2009 · author #2
  13. Mixed Logic and Storage Operators math.LO · 2009 · author #1
  14. S-storage operators math.LO · 2009 · author #1
  15. A syntactical proof of the operational equivalence of two $\lambda$-terms math.LO · 2009 · author #2
  16. Arithmetical proofs of strong normalization results for symmetric lambda calculi math.LO · 2009 · author #2
  17. A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction math.LO · 2009 · author #2
  18. Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic math.LO · 2009 · author #1
  19. A conjecture on numeral systems math.LO · 2009 · author #1
  20. Les types de donn\'ees syntaxiques du syst\`eme F math.LO · 2009 · author #2
  21. Un R\'esultat de Compl\'etude pour les Types $\forall^+$ du Syst\`eme F math.LO · 2009 · author #1
  22. R\'esultats de compl\'etude pour des classes de types du syst\`eme AF2 math.LO · 2009 · author #2
  23. Une r\'eponse n\'egative \`a la conjecture de E. Tronci pour les syst\`emes num\'eriques typ\'es math.LO · 2009 · author #1
  24. La Valeur d'un Entier Classique en $\lambda\mu$-Calcul math.LO · 2009 · author #1
  25. An example of a non adequate numeral system math.LO · 2009 · author #1
  26. Storage operators and forall-positive types of system TTR math.LO · 2009 · author #1
  27. A General Type for Storage Operators math.LO · 2009 · author #1
  28. I-Types of System F math.LO · 2009 · author #1
  29. Non deterministic classical logic: the $\lambda\mu^{++}$-calculus math.LO · 2009 · author #1
  30. Complete Types in an Extension of the System AF2 math.LO · 2009 · author #2
  31. Propositional Mixed Logic: Its Syntax and Semantics math.LO · 2009 · author #1
  32. A semantical proof of the strong normalization theorem for full propositional classical natural deduction math.LO · 2009 · author #1
  33. A completeness result for the simply typed $\lambda\mu$-calculus math.LO · 2009 · author #1
  34. A completeness result for a realisability semantics for an intersection type system math.LO · 2009 · author #2

Mentions

  • 0905.2892 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.2120 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1566 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1558 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1557 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1555 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1554 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1102 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1100 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1099 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1034 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.1032 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0773 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0770 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0769 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0762 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0760 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0758 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0755 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0754 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0592 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0575 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0574 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0552 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0551 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0550 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0549 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0458 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0456 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0371 #2 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0369 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0358 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0357 #1 · backfill · confidence 0.70 Karim Nour (LAMA)
  • 0905.0354 #2 · backfill · confidence 0.70 Karim Nour (LAMA)

Frequent Coauthors