Grammar
Language
Semantics
Philosophy of language
Compiler construction
Categorial grammar
Syntax
Programming language
Principle of compositionality
Linguistics
Formal languages
Software engineering