简单类型λ演算-一流百科

简单类型λ演算

简单类型λ演算简单类型的 lambda 演算 ( λ → {\displaystyle \lambda {\to }} ) 是类型理论的一种形式，是对只有一个类型构造函数 ( → {\displaystyle \to } ...

词条百科