standard ml

http://www.cs.cmu.edu/~rwh/smlbook/
http://en.wikipedia.org/wiki/Curry-Howard_correspondence
http://www.amazon.com/Godel-Escher-Bach-Eternal-Golden/dp/0465026567