Exposés

14:00: Thomas Leventis, Séparabilité en λ-calcul probabiliste