curryfication

n. m.

[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.