Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] "Grundlagen der kombinatorischen Logik".