传统上,有类型lambda 演算被看作无类型lambda演算的精细化。更现代的观点把有 类型lambda 演算看做更基础的理论,而把无类型lambda 演算看作它的只有一个 ...
www.google.com.tw