Su nombre se debe al lógico estadounidense Haskell Curry.