Développement #426
Titre : Algorithme de type principal
Contenu : Algorithme de typage du lambda calcul à la Curry, qui teste la typabilité d'un $\lambda$-terme, et construit un type principal si il existe.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 929 | Lambda-calcul pur comme modèle de calcul. Exemples.2021 |
| 4 | 25 | Analyses lexicale et syntaxique. Applications.2022 |