Learn you some PLT. Specifically, study this: http://www.paultaylor.eu/stable/prot.pdf http://www.paultaylor.eu/stable/prot.pdf and this: http://folli.loria

Learn you some PLT. Specifically, study this: http://www.paultaylor.eu/stable/prot.pdf http://www.paultaylor.eu/stable/prot.pdf and this: http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf and this: http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/ very, very carefully.