Interest Areas

• Programming languages
• Proof-assistants
• Lambda Calculus
• Linear Logic
• Type theory
• Proof theory
• Rewriting Theory

Some Recent Topics

• Evaluation Strategies (standardisation, call-by-need, call-by-push-value, etc)
• Pattern Calculi and Pattern Matching
• Intersection Type Theory
• Curry-Howard Isomorphism
• Term Interpretation of Classical Logic
• Resource Calculi and Explicit Substitutions
• Inhabitation