curryfication
Une définition du Jargon Français.
nom→ masculin→. [mathématique]. Transformation d'une fonction à n paramètres en la composition d'une fonction à n-1 paramètres et d'une fonction à un seul paramètre. C'est un des principes du lambda-calcul.