Dr Stéphane Lengrand Chargé de Recherche au CNRS

Laboratoire d'Informatique de l'X, École Polytechnique Equipes & Typica route de Saclay 91128 Palaiseau Cedex, FRANCE Office: Telephone: Fax: 412-24 +33 (0)1 69 33 40 67 +33 (0)1 69 33 40 44 Lengrand at LIX.Polytechnique.fr

Logic & Theoretical Computer Science

·  Sequent calculus, proof-nets, classical logic, linear logic

·  Curry-Howard correspondence and type theory

·  Lambda-calculus (especially with explicit substitutions), functional programming and rewriting