字母检索 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Normal Order Reduction (lambda calculus reduction strategy)

英文简称 : NOR
中文全称 : 正常的降阶(λ微积分还原策略)
所属分类 : 无
词条简介 : 无

其他解释