Christophe Raffalli (LAMA)

Identifiers

• name variant Christophe Raffalli (LAMA) 0.60 · backfill

Papers (3)

1. Distance to the discriminant math.AG · 2014 · author #1
2. 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 #2
3. Asymptotically almost all \lambda-terms are strongly normalizing math.LO · 2009 · author #4

Mentions

• 1404.7253 #1 · backfill · confidence 0.70 Christophe Raffalli (LAMA)
• 0905.0758 #2 · backfill · confidence 0.70 Christophe Raffalli (LAMA)
• 0903.5505 #4 · backfill · confidence 0.70 Christophe Raffalli (LAMA)

Frequent Coauthors

• Guillaume Theyssier (LAMA) 1 shared papers
• Jakub Kozic 1 shared papers
• Karim Nour (LAMA) 1 shared papers
• Katarzyna Grygiel 1 shared papers
• Marek Zaionc 1 shared papers
• Ren\'e David (LAMA) 1 shared papers