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 |