Friday, January 21, 2011

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.

No comments: