程式語言理論計算機科學的一個分支,涉及編程語言及其各自功能的設計,實現,分析,表徵和分類 / 維基百科,自由的 encyclopedia 程式語言理論(英語:Programming language theory)是電腦科學的一個分支,研究程式語言的設計、實現、分析、描述和分類及其各自的特點。它屬於電腦科學,既依賴又影響着數學、軟件工程、語言學,甚至認知科學。 此條目沒有列出任何參考或來源。 (2011年12月23日) λ演算在程式語言理論中有舉足輕重的地位,因此程式語言理論的非官方標誌是一個小寫的「λ」字母。
程式語言理論(英語:Programming language theory)是電腦科學的一個分支,研究程式語言的設計、實現、分析、描述和分類及其各自的特點。它屬於電腦科學,既依賴又影響着數學、軟件工程、語言學,甚至認知科學。 此條目沒有列出任何參考或來源。 (2011年12月23日) λ演算在程式語言理論中有舉足輕重的地位,因此程式語言理論的非官方標誌是一個小寫的「λ」字母。