Fairouz Kamareddine (ULTRA)

Identifiers

• name variant Fairouz Kamareddine (ULTRA) 0.60 · backfill

Papers (4)

1. What Does This Notation Mean Anyway? cs.LO · 2018 · author #3
2. Realisability Semantics for Intersection Types and Expansion Variables math.LO · 2009 · author #1
3. A complete realisability semantics for intersection types and arbitrary expansion variables math.LO · 2009 · author #1
4. A completeness result for a realisability semantics for an intersection type system math.LO · 2009 · author #1

Mentions

• 0905.2120 #1 · backfill · confidence 0.70 Fairouz Kamareddine (ULTRA)
• 0905.1566 #1 · backfill · confidence 0.70 Fairouz Kamareddine (ULTRA)
• 0905.0354 #1 · backfill · confidence 0.70 Fairouz Kamareddine (ULTRA)

Frequent Coauthors

• Karim Nour (LAMA) 3 shared papers
• J. B. Wells 2 shared papers
• Vincent Rahli (ULTRA) 2 shared papers
• David Feller 1 shared papers
• Joe B. Wells 1 shared papers
• Sebastien Carlier 1 shared papers