Haskell Curry, en su tesis doctoral [GKL], propuso un sistema con las características funcionales separadas: asociación, conversión, cancelación y duplicación.