Theoretical computer science
Applied mathematics
Programming language semantics
Logic
Calculus
Semantics
Process calculi