子学科及相关领域.编程语言理论中存在着几个研究领域,或者对编程语言理论产生了深远的影响，其中许多有相当大的重叠。此外，PLT还利用了数学的许多其他分支,包括可计算性理论、类型论和集合论。
形式语义学.在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精