L3 ? Lambda-calcul Exercices d'entrainement

exercices précédents et leurs solutions, pris le temps d'une réflexion approfondie, envisagé plusieurs angles d'approche, pris une petite pause?