類型論

類型論喺數學、邏輯學同電腦科學等領域上係研究點樣將物件分類嘅一套理論。

數學邏輯