差量缩减

【差量缩减】基础信息（ 英文,繁体）

词语 差量缩减
英文 delta reduction
繁体 差量縮減

【差量缩减】是什么意思

在λ演算的常数延伸模式中，将函数的引数以结果替换之。如：plus 2 3→5；加函数（plus）有二个引数，若完全符合则以结果5替换。

【差量缩减】相关的组词

【差】组词

【量】组词

【缩】组词

【减】组词

热门词语