Research Interest of Pierre Lescanne

• practical and theoretical aspects of automated deduction with specific interest (sorted by current interest) for
  • Counting and generating lambda terms
    
  • Games and Modelisations (in French).
  • constructive games theory with René Vestergaard and Stéphane Le Roux.
  • Reasoning on infinite extensive games.
    • See my COQ development.
    • Scripts are here.
  • computational interpretation of classical logic.
  • epistemic logic with common knowledge in COQ V 8.0 ( a technical report). See also the work of Jerome Puissegur and a paper we wrote.
  • lambda-calculus and explicit substitution
  • termination
  • equational theories, (ORME: manual, a new version running in OCAML)
  • rewriting techniques,