受限全称量词类型相关硕士博士期刊学术论文 - 搜论网

受限全称量词类型相关论文

类型系统λω -≤

为研究高阶子类型的范畴论语义模型，区分了带高阶子类型的类型系统中的各种上下文，并简化其中的受限全称量词类型引入规则，而提出了类......

期刊

类型系统子类型受限全称量词类型

类型系统λωX≤

为研究高阶子类型的范畴论语义模型，区分了带高阶子类型的类型系统中的各种上下文，并简化其中的受限全称量词类型引入规则，而提出了类......

期刊

类型系统子类型受限全称量词类型语义模型面向对象技术 type system subtyping bounded quantification type

看过本文同时还关注