标签:λ转换演算
λ转换演算
[拼音]:λ zhuanhuan yansuan [外文]:calculus of λ-conversion 用以定义可计算函数的形式演算系统。其特点是把函数与…
建筑资质代办
最新文章
公示公告
[拼音]:λ zhuanhuan yansuan [外文]:calculus of λ-conversion 用以定义可计算函数的形式演算系统。其特点是把函数与…