Sub-fields Algorithm Theory of computation Automata theory Computability theory Computational complexity theory Lambda calculus Type theory