Toggle navigation
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