University of Cambridge;
Denotational Semantics; Domain Theory; Full Abstraction; Nominal Sets; Symmetry;
机译:标称斯科特域的完整抽象
机译:标称斯科特域的指称语义
机译:标称抽象
机译:名义斯科特域名的全抽象
机译:并行体系结构,并行获取,来自标称和口头领域的跨语言证据。
机译:原始研究:使用名义组技术来确定英国利益相关者对评估肌肉骨骼疾病患者的治疗性运动依从性所采用的措施和领域的看法
机译:名义斯科特域名的完全抽象