ΞX(KYM) = ∀u.Xu⊃Yu，这是形式蕴含（罗素ΞX(BYM) = ∀u.Xu⊃Y(Mu)，这是类型（柯里ΞX(SYM) = ∀u.Xu⊃Yu(Mu)，这是依赖类型（马丁洛夫组合子深不可测 #为往圣继绝学#

ΞX(KYM) = ∀u.Xu⊃Yu，这是形式蕴含（罗素
ΞX(BYM) = ∀u.Xu⊃Y(Mu)，这是类型（柯里
ΞX(SYM) = ∀u.Xu⊃Yu(Mu)，这是依赖类型（马丁洛夫

组合子深不可测 #为往圣继绝学#

发布于上海