Développement : Les fonctions récursives sont lambda-définissables

Détails/Enoncé :

On encode les fonctions récursives en lambda-calcul.
Attention, beaucoup de livres donnent des preuves fausses !

Recasages pour l'année 2022 :

  • Pas de recasages pour cette année.

Versions :