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

Programme