Exposés

10:00: Michele Alberti, Bisimulation en λ-calcul probabiliste