Basic Computer Science

A Learning Lounge course.

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