Forme normale (lambda-calcul)
Un article de Wikipédia, l'encyclopédie libre.
|
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l?améliorant (comment ?) selon les recommandations des projets correspondants.
|
Un lambda-terme sous forme normale ne peut plus être ?-réduit.
[] Voir aussi
- Dans le contexte des bases de données relationnelles, Formes normales.
Mirror2
La source est wikipedia http://fr.wikipedia.org/wiki/ Forme normale (lambda-calcul)
Revue de presse Forme_normale_(lambda-calcul)
