Lectures on lambda calculus.  I can't find any.  Category theory as well, as it relates to programming.