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.

Recasages pour l'année 2023 :

  • Pas de recasages pour cette année.

Versions :