Curry’s anticipation of the types used in programming languages

I found a really interesting paper about types. Well written, easy read. It gave me a great background of history of combinatory logic, how it evolved and fought for it's place in a current math world. Enjoy the reading.