Développement #417
Titre : Les fonctions récursives sont lambda-définissables
Contenu : On encode les fonctions récursives en lambda-calcul.\rAttention, beaucoup de livres donnent des preuves fausses !
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 912 | Fonctions récursives primitives et non primitives. Exemples.2021 |
| 5 | 929 | Lambda-calcul pur comme modèle de calcul. Exemples.2021 |