プログラミング言語理論です。
型理論や意味論など。
あまり抽象的なところを専門にするつもりはないですけど、分からないのも癪なので。