Charles Grellois
  • Main
  • Students
  • CV
  • Research
  • Publications
  • Teaching
  • Talks
    • Selected talks
    • By date
    • By theme
    • Semantics and Verification
    • Types for probabilistic programs
    • Combinatorics of words

Résumé

  • Long version, in English
  • Short version, in French
  • 1-page version, in French