Michele Alberti, Bisimulation en λ-calcul probabiliste

Programme