This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry.
Овај механизам замене олакшава рад у комбинаторној логици и ламбда рачуна и тај механизам касније се назива curring, по Хаскелу Карију.