curryfication

Mathématiques

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.

(27-11-2003).

Exporté avec Jargon Informatique version 1.3.6