Computability theory
Models of computation
Theoretical computer science
Software engineering
Scope
Lambda calculus
Computing