...
机译:关于声音和完整的并集,交集和求反类型的声明式重写
Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand;
Rewrite systems; Type systems; Type theory;
机译:具有交叉点和并集类型的X的完整性和稳健性结果
机译:λμμ?的交集和并集键入的完整性和部分健全性结果。
机译:语义子类型化:从理论上处理函数,并集,交集和求反类型
机译:合理,完整的流程键入,带有并集,相交和否定
机译:P('2)中完整交集的子集:它们的希尔伯特函数和关联的2型向量。
机译:听起来:有些疾病必须自我宣告
机译:结合,相交和取反的完整声音流分类