Stage M2

Stage M2

Rapport de stage de M2 : Développement de Taylor et λ-calcul infinitaire