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 2025 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Lambda Calculus With Types, H. Barendregt (utilisée dans 1 versions au total)
Lectures on the Curry-Howard Isomorphism, M. H. Sørensen, P. Urzyczyn (utilisée dans 2 versions au total)
Term rewriting and All That, Franz Baader (utilisée dans 5 versions au total)