類型論

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