Thomas Leventis, Séparabilité en λ-calcul probabiliste

Programme