Forme normale (lambda-calcul)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Forme normale.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Un lambda-terme sous forme normale ne peut plus être β-réduit.

[modifier] Voir aussi