類型論

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

呢篇文 無乜其他文連過嚟，係孤兒仔。請幫手加內連到呢篇文，來源可以參考相關嘅文。

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

呢篇同邏輯相關係楔位文。歡迎幫維基百科擴寫佢。

呢篇同數學相關係楔位文。歡迎幫維基百科擴寫佢。

由「https://zh-yue.wikipedia.org/w/index.php?title=類型論&oldid=1554374」收

屬於1隱類：

孤兒文