Theoretical computer science
Grammar frameworks
Complexity classes
Theory of computation
Type theory
Formal languages
Mathematics
Categorial grammar
NP
Lambda calculus
Model theory