Learn you some PLT. Specifically, study this:

http://www.paultaylor.eu/stable/prot.pdf

and this:

http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf

and this:

http://www.cis.upenn.edu/~bcpierce/tapl/

very, very carefully.