# 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