Exposés

14:00: Jean-Baptiste Midez, λ-calcul avec ressources et histoires de familles