Programming language theory
Formal methods
POPLmark challenge
Mathematical proof
Programming language semantics
Logic in computer science
Proof theory