類型論

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

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