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