简单类型的lambda微积分-一流百科

简单类型的lambda微积分

简单类型的lambda微积分简单类型的lambda微积分({displaystyle/lambda{to}}，是类型理论的一种形式。)，是类型理论的一种形式，是λ微积分的类型化解释，只有...

词条百科