> (according to one rumour, because Dana Scott was fond of curry)

I always assumed it was related to Haskell Curry, the logician.

What is the benefitsof the lambda notation over a more intuitive arrow notation like x->x+1?