Type-theoretic approaches to information theory and information processing, Dependent-Type Theory of Situated Information, Type-Theory of Algorithms, Recursion Theory, Computational Syntax, Automata Theory, Computational Semantics, Computational Syntax-Semantics Interface, Computational Linguistics, Type-Theoretic Grammars, Constraint Based Lexicalized Grammar (CBLG), Artificial Intelligence