Indiana University;
Google;
full abstraction; equivalence-preserving compilation; continuation-passing style; multi-language semantics; logical rela-tions; back-translation;
机译:通过多语言语义的等价保留CPS翻译
机译:λμ-骨钙素的连续语义和CPS翻译
机译:多语言的等式逻辑和分类语义
机译:通过多语言语义的等价保留CPS翻译
机译:评估语义对等以增进对国际文件的理解:语义网络分析在《世界人权宣言》的多语言翻译中的应用。
机译:使用自然语言处理的放射性报告中的T-分期肺部肿瘤:翻译成多语言设置
机译:通过多语言语义进行等效保留Cps翻译*
机译:翻译的形式化方法论。 I.语义保留翻译。