Foundations of Computer Science

computability theory
computational logic
logic programming
typed lambda calculus
domain theory
category for computer science