References of "Nour, Karim"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn Realisability Semantics for Intersection Types with Expansion Variables.
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailA Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in ICTAC 2008 (2008)

Detailed reference viewed: 90 (0 UL)
Full Text
Peer Reviewed
See detailRealisability Semantics for Intersection Types and Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

Scientific Conference (2008)

Detailed reference viewed: 34 (1 UL)