Theoretical computer science ( TCS ) is a subset of general computer
science and mathematics that focuses on mathematical aspects of computer
science such as the theory of computation, formal language theory, the lambda
calculus and type theory.
It is difficult to circumscribe the theoretical areas precisely.