型システム
言語モデル論
プログラミング言語を作る
記号論理学(数学基礎論の基礎of基礎?)
Types and Programming Languages
https://theswissbay.ch/pdf/Gentoomen%20Library/Maths/Comp%20Sci%20Math/Benjamin_C._Pierce-Types_and_Programming_Languages-The_MIT_Press(2002).pdf