Samir Farkh (LAMA)

Identifiers

• name variant Samir Farkh (LAMA) 0.60 · backfill

Papers (4)

1. Les types de donn\'ees syntaxiques du syst\`eme F math.LO · 2009 · author #1
2. Un R\'esultat de Compl\'etude pour les Types $\forall^+$ du Syst\`eme F math.LO · 2009 · author #2
3. R\'esultats de compl\'etude pour des classes de types du syst\`eme AF2 math.LO · 2009 · author #1
4. Complete Types in an Extension of the System AF2 math.LO · 2009 · author #1

Mentions

• 0905.0754 #1 · backfill · confidence 0.70 Samir Farkh (LAMA)
• 0905.0592 #2 · backfill · confidence 0.70 Samir Farkh (LAMA)
• 0905.0575 #1 · backfill · confidence 0.70 Samir Farkh (LAMA)
• 0905.0371 #1 · backfill · confidence 0.70 Samir Farkh (LAMA)

Frequent Coauthors

• Karim Nour (LAMA) 4 shared papers