Voir la source de 929 -- Lambda-calcul pur comme modèle de calcul. Exemples.
Vous n'êtes pas autorisé(e) à modifier cette page, pour la raison suivante :
Vous pouvez voir et copier le contenu de la page :
Revenir à la page 929 -- Lambda-calcul pur comme modèle de calcul. Exemples..