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

Programme