School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh EH14 4AS, Scotland, Great Britain;
机译:避免捕获替代为名义代数
机译:名义代数和逻辑的有限和无限支持:名义完备性定理是免费的
机译:带原子替换的名词术语的从属类型
机译:避免俘获替代为名义代数
机译:有限群对替代平铺及其相关C *代数的作用。
机译:血吸虫病中名义抗原特异性T细胞克隆反应性的同种异体替代。
机译:避免捕获替代为名义代数