Factorielle en lambda calcul avec l'aide de combinateur de point fixe

Qualité	Numéro	Titre
5	929	Lambda-calcul pur comme modèle de calcul. Exemples.2021