程式語言、邏輯學

${\frac {A\rightarrow B~~~A}{B}}$

邏輯學、型別理論

• 形式邏輯筆記 (Note of Forall X)
• 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)

程式語言

• TeX for the Impatient 兩三事 (原書)
• 關於編譯器的一些想法