簡單類型λ演算- 維基百科，自由的百科全書 - Wikipedia

這使它成為規範的、在很多方面是最簡單的有類型lambda 演算的例子。 簡單類型也 被用來稱呼對簡單類型lambda 演算的擴展比如積、陪積或自然數(系統T)甚至完全 ...

www.google.com.tw