 We see that in general 

so that the original function formula_1 and its currying formula_18 convey exactly the same information.In this situation, we also write 

This also works for functions with more than two arguments.If formula_1 were a function of three arguments formula_37, its currying formula_18 would have the property

The name "currying", coined by Christopher Strachey in 1967, is a reference to logician Haskell Curry.