プログラミング言語の「意味」と「計算モデル」に関する分野。
計算機科学の一分野。