St\'ephane Jean Lengrand (CNRS

Identifiers

• name variant St\'ephane Jean Lengrand (CNRS 0.60 · backfill

Papers (1)

1. Non-idempotent intersection types and strong normalisation cs.LO · 2013 · author #3

Mentions

• 1310.1622 #3 · backfill · confidence 0.70 St\'ephane Jean Lengrand (CNRS

Frequent Coauthors

• Alexis Bernadet (\'Ecole Polytechnique 1 shared papers
• \'Ecole polytechnique 1 shared papers
• France) 1 shared papers