Forme normale (lambda-calcul)
De EverybodyWiki Bios & Wiki
Pour les articles homonymes, voir Forme normale.
Un lambda-terme sous forme normale ne peut plus être β-réduit.
Erreur Lua dans Module:Catégorisation_badges à la ligne 170 : attempt to index field 'wikibase' (a nil value).Erreur Lua dans Module:Suivi_des_biographies à la ligne 189 : attempt to index field 'wikibase' (a nil value).
Cet Article wiki "Forme normale (lambda-calcul)" est issu de Wikipedia. La liste de ses auteurs peut être visible dans ses historiques.
