類型的含義-

在19世紀末20世紀初,在語言學和邏輯思想的影響下,類型的觀念在思想界獲得一種新的中心地位。那時產生的是非常抽象和一般的類型理論,類型的觀念在諸多不同 ...