I'm having trouble understanding the Wikipedia article on Simply typed lambda calculus.
And also on the Curry-Howard Isomorphism. Is there a nice way to put it in bird-forest form like To Mock a Mocking Bird. This book made everything so simple and intuitive for me.