Basic Computer Science

Lectures on the Curry-Howard Isomorphism is a nice text which starts out with explaining untyped and typed lambda calculus, then constructivistic logic and curry-howard isomorphism, combinatory logic and then other related advanced stuff about this.

This page is linked from: Category Theory 101 Learning Lounge