程式語言理論- 维基百科，自由的百科全书

λ演算在程式語言理論中有舉足輕重的地位，因此程式語言理論的非官方標誌是一個 ... 程式語言理論（英语：Programming language theory，簡稱PLT），是電腦科學的 ...

zh.wikipedia.org