Типово-теоретични подходи за теория и обработка на информация, теория на зависимите типове за ситуациона информация,
типова теория на алгоритмите, теория на ркурсията, изчислителен синтаксис, теория на автоматите, изчислителна семантика, изчислителен синтактично-семантичен интерфейс, изчислителна лингвистика, типово-теоретични граматики, лексикализирана граматика основана на рестрикции, изкуствен интелект