My research interest are:
- relations between logic and programming languages, type systems,
proofs-as-programs, programs certification;
- rewriting systems and their dynamic properties,
particularly termination;
- lambda-calculus and calculi with explicit substitutions
(and/or other explicit operators);
- logic and linear logic proof nets.
More generaly, the study of syntactical and semantical questions
around programming languages.
Here is my publication list on HAL.