Développement : Algorithme de type principal

Détails/Enoncé :

Algorithme de typage du lambda calcul à la Curry, qui teste la typabilité d'un $\lambda$-terme, et construit un type principal si il existe.

Versions :