Exposés

14:00: Michele Alberti, Howe's method for a probabilistic λ-calculus