跳去內容

類型論

出自維基百科,自由嘅百科全書

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