机译:具有交叉类型和模态类型的判断子类型系统
Pohang University of Science and Technology, San 31, Hyojadong, Namgu, Pohang, Gyungbuk 790-784, Republic of Korea;
Pohang University of Science and Technology, San 31, Hyojadong, Namgu, Pohang, Gyungbuk 790-784, Republic of Korea;
机译:具有交叉类型和模态类型的判断子类型系统
机译:具有交集,并集和类型量词的类型分配系统的完整性
机译:交叉点类型的简单子类型
机译:结构隐含微积分:用交叉型粘合剂和亚型延伸纯型系统
机译:在显示亚型间人类免疫缺陷病毒1型重叠感染(免疫缺陷)的个体中,对亚型特异性病毒载量变化的纵向评估。
机译:人类免疫缺陷病毒1型(HIV-1)基因分型系统在基于序列的非HIV-1 B亚型分析中的性能特征
机译:强制性类型系统,宇宙,相交类型和子类型的模型