Forme normale (lambda-calcul)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Forme normale.

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